This is stupid, he's going to continue being annoying regardless of your efforts, and there's not much we can do about it. Annoying kids will be kids. People who are hosting should have their own opinions of him if he were to join their server. I'd personally just ignore him - not much he can do if you don't give a stuff.