River, you've helped me out a lot with code, but this is one I'm going to have to disagree with you on.
Stay away from the HR office unless it has to do with legal matters (Sex Harassment, Disability/Work Comp, Benefits, etc.). Period. Think of HR as a Marine Drill Instructor; if he doesn't know your name, you are doing something right. HR is the same way. They do not want to hear about 'piddly stuff' such as this. The more you stay off their radar the better your future will be. If you have to work with HR, then keep it to the tasks at hand. All HR wants to know is "Are you doing your job? Are you doing well?" If you nit-pick to them, they will replace you. In this job environment, we are all a dime a dozen. They'll get some one that comes in, works, and doesn't complain.
My wife is an HR Manager. This is the advice she gives me. Think of HR as a 'one-time shot' and you better have proof. You only get to use them once, so make it count. Anything after that (other than legal complaints) is not going to be favorable for you.
All in all... let it go, man. Keep track of everything in a notebook. If it gets out of hand, then talk to the source of the issue. Talk to your supervisor. One instance isn't going to be the death of your job. Multiple may be, so just keep a detailed record of any and all occurrences. All you really can do.
--------------------------------------------------
Bluto: What? Over? Did you say "over"? Nothing is over until we decide it is! Was it over when the Germans bombed Pearl Harbor? No!
Otter: Germans?
Boon: Forget it, he's rolling.
--------------------------------------------------