No, I couldn’t think of any others. Do you have any suggestions?
Yes, indeed. I suggest that, when you are confronted with an irritant, you a) refute his argument with a better one or b) ignore him. The c) scream your head off for someone in authority to deal with it for you option is embarrassing.