No, I haven't. Good point. Despite the emphasis I've put on it here, it's really just a relatively minor irritation not worth bringing up in a formal way, at least at this time. He's getting enough pushback from me on things that are more important to the team as a whole already.
I'm very far from shy, though, and if/when the general subject comes up in more casual conversation, I will certainly say something.
