Just as an aside, at some point in the past we had a conversation about ban stages (It'll be in one of the forums somewhere) and decided that given sufficient time, someone, lets say at the 30 day stage, wouldn't go onto perm, but would be scaled back (dependant on time passed) one or more stages.
Based on that, when was the last time he was penalised, if a long time ago, perm may not be the answer (I do understand he can be annoying though) just so you're aware really
Edit: looks like June 2017 was last, so should be scaled back some really, but up to you.