If they had issue with the service, they should have talked to a manager to have the situation resolved. The manager would have probably comped part or all of the meal and would have dealt with the server. My husband works as a server and having these mandatory tip policies is absolutely necessary. Without it, many large parties "forget" to tip or tip way below the minimum.