I don't see the harm in letting management know. It's not dobbing them in to anyone. If it turns out they had several complaints then they can (and should) do something about it.
I was going to say this too. Letting them know politely and letting them
Use that information as they see fit could be good for them, ESP if others contact them.