[5Qn8mNbc2FNCiVV]

I would 100% do it anytime because at some point enough is enough and you as the lead should have the backbone to put him into place. Best things is he shuts up forever, worst thing is he get's pissed off, goes to the manager and the manager sides with you anyways because you're known to be a good employee and he quits by himself/gets fired.

Obviously this is a rare thing to do, but from reading the other comments it's miles better than being bullied out, quitting and letting the other person continue with that attitude

[dpark]

Worst thing is that the team dynamic gets even worse, the guy becomes bitter and impossible to work with, and management punishes you for unprofessional and inappropriate behavior.