Yes, he can be a pain. Unfortunately, i don't think his intention, most of the time, is to grief or mic spam--it's who he is. That can be uncomfortable to grasp your mind around, but yeah,
they exist and he is one of them. That doesn't condone the hurtful things he says since it gets in the way of the playful riffing and ribbing no matter what stranger he is and I agree on the pseudo muteban. On the other hand, there are times when he comes on the server, stays quiet all by himself or limits himself to gameplay like a grown man and people want to insta-votekick him simply because he's he. I don't like this practice, even though I know his sole presence discourages the more softhearted (or frankly tired of the guy) players from engaging in the fun, because it simply shouldn't be a wild west revenge with pitchforks scenario.
Quite frankly, it's the constant name changing and disconnecting to reconnect, the duplicity of it all, that bothers me most. Mute him if you want to teach him a lesson. But don't get rid of a player out of spite. It doesn't set a good example and it leads to even worse moderating.
IMHO
Also, I've no idea why this is my first post. Should probably stop to say hi on the introduction thread.

Quick edit: Holy Christ these are some difficult captchas.