The problem with your suggested solution is that if you remove all users with 3 letter nicks, you are potentially removing 'good' users. The same goes for nicks of any other length.
And can I ask what server are you on that allows numbers at the beginning of a nick? I've never come across a server where that was possible.
