The HR lady told me to do that very thing if I'm not satisfied with how they handle it. She seemed confident that the company would not tolerate his behavior.

Now that I recall the conversation, it does seem plausible that he will be fired. I hate to think I caused that to happen to someone else...
Okie