It seems to me that once the customer complained to the server and the server wasn’t able to accommodate that the SERVER should be reporting it to the manager. And, if you’re looking to tip less, that’s the justification; the customer asked for something specific, the server shrugged it off.