Oh, 100% agree he should have been fired or at least put on a PIP, but my HR dept is toothless.

This kind of stuff happens in big companies too, but you don’t see it because it’s not in a public mailing list. One of my teams had a developer who stood on tables to yell until his opinion was accepted, and one time when another developer wouldn’t back down, he threw a chair at them. That angry developer worked there for another 7 years until retirement, while many smart team members around him quit rather than continue dealing with him.