Perhaps within #3 there could be a 24-hour ban, then a 7-day ban, then a 30-day ban...gives lots of opportunity for the user to reform...seems better than constant 24-hour bans or leaping too quickly to long-term ban.
Exponential backoff ... Sounds like a good idea.
Fuzheado