Actually all I have to do is ban all IPs under his ISP by banning, for example: 1.1.*.*
The likelihood that someone else actively plays using the same ISP as he does is very low... and even if they do, I can easily make an exception by breaking that IP ban down into 2 seperate ranges...
But for now I'll leave him unbanned cuz I'd love to see him get pk'd by everyone on my server, as well as myself, at least unless he actually finds a way to piss me off, which is highly unlikely considering how stupid he is...