Of course people do not get banned from Pinside for one single post or even for a bad few posts. Mind you, in this case there was quite some history. truth is, we are never looking to get rid of people. A lot has to happen before bans are even considered. Like lots of moderations, or lots of warnings. But in the end, it cannot be all bark and no bite.
All that said, never rule out the option of a pardon of some kind
In the meantime, drink some bourbon. Play some pinball. Talk about both.
Oh, and a whiskey thread sounds like a good idea! Much better then Bourbon (Yuck!)...