13,
I think you're on the right track. In my experience, HR is for very serious situations, not to deal with rude people. If he crosses the line and makes personal insults to you or your family, etc. then HR is fair game. But having dealt with these office bullies in the past, they normally...