[glouch]

On a serious note, seeing as the guy had never played on the server before and thus didn't know about the mic spam rule, perhaps a temp ban would be more appropriate. There are guys on that server who do way more annoying shit but who aren't banned.