Starcat,
I bought a "Grip master" to handle stress at work, about ex or otherwise.
http://www.amazon.com/Gripmaster-Exe.../dp/B0006GC5D8
I have had to go to therapy to learn where and how to place my boundaries at work. I agree when you are ready, you are ready. I put up with much BS with ex and I wish I had acted sooner. In the end he will keep doing what he does: be disrespectful, ignore anyone around him, imagine he is the Small God that Rules the Known Universe. Expecting otherwise is pure fantasy.
I hope you continue taking care of yourself. Sometimes I wish I had moved to another job, sometimes I am grateful I got one I enjoy regardless of those kind of coworkers. Now I think I'll get the best of both worlds working from home. Perhaps you could you work remotely?
Regardless of what others think,say, or do, we are free
I am glad you know the right people to contact whenever you chose to do so.