I'll ask you guys, since you've got experience with this sort of thing: Any tips for dealing with a troll -- specifically one that shares the initials of the former GM? :-P
The best way to deal with them is to ignore them. On the other hand if you have the power to ban them, exercise that power.