I've been reluctant to ban too quickly, because I don't want people to start fearing the hand of the moderators (some other boards I visit have a very different feel, because the mods try to control everything). Anyways, as I said in the other thread, I believe the issue has been dealt with and won't be a problem again. I'd just like to drop it now..