Sounds like you just happened to luck out with this troll, and though your experience with him was relatively benign he obviously likes to poke members with sticks, so to speak.  That's what trolls do, and he seems like a fairly aggressive one at that.  I'm not one of those lawmakers, but I think the dude should be permabanned.  The crap he's pulled justifies it, plus I doubt he's the type of member who would learn anything after just being banned for just a short period of time.

Trolls usually don't.