Right you are, typically ignoring something you don't like is good practice.
But I get his frustration too, sometimes you find those kinds of people everywhere and can't help it, sometimes you get offended by things you see and can't help saying something even if you know you shouldn't, I've done that plenty before... I have a bit more restraint now.