Did, Mr. LoL even have sa? if not it wont be possible.
This is actually an incredibly easy console command. I've done it once on my own private server. The only problem is that it lags all to hell and makes doing anything nigh on impossible.
I find it incredibly unlikely anyone could actually ban the guy in only 2000 IDs unless they used a console command themselves, and I don't think it's likely someone dumb enough to give a random person admin would also be smart enough to know the console command for banning, but I could be wrong on that one.