I've worked with my share of jerks and assholes. Rarely have I seen them dealt with. Mean people often know how to manipulate their messaging you avoid punative action. Few places have a zero tolerance policy, they'll just move them somewhere else.

None of the jerks or assholes I've known had anything happen to them, that I am aware of. I'd like to think they'll be fired eventually.