Rules were made to be changed from time to time. You first have to start a conversation with a mod who then talks it over with the boss! When you have problem at work or in the political system, you go up the chain of command, right?
I'm just kidding Roy, as you are totally correct.
Maybe Mike couldn't do anything about it right now and decided to kill that can of worms for the moment.
It is a weekday, and he has a regular job also, right?