No precedent, jw. And if he was banned right away then no big deal. My guess here is a source bug, which we've seen before, or he dl'ed some hacks, got banned right away, and got rid of them. Our population in the servers and here has been decreasing recently, so if one of those things happened he should be welcome here.