Friggen A, it's called "gratuity." Comes from the same word as "gracious." It's almost contradictory to have a mandatory gratuity. I know it's done, but come on! Arresting people for not leaving a tip after bad service?! I'm a pretty good tipper, but it peeves me to see it required.
And now I'm hungry. Thanks.