You should expect his TTT rank to be removed very shortly. I do not appreciate sarcasm or joking on ANY server.
On a more serious note I don't think this deserves more than a "don't be a jerk." It's still a server on the internet and people are going to say things, we can't limit the fun just because some people can't take it.