If you seriously want him to leave than put him on ignore and he's gone. If you take his other aliases, such as drstone3, rdctwo2, mr.kink, deekslsdems4u, and floridadave you'll end up with a rather nice GE board.
The worst thing you can do to a troll like him is to place him and all his aliases on ignore. He is like a little kid looking for attention. Ignore him and he'll go off and find another board to rant on.