Stupid Guest Tricks

I thought this might be the place to get an answer about tipping. On the old DDP how did the gratuity work? Did the server get 18% of the menu prices (and then tip out bussers/runners ect.)? That seems like more than I'd expect Mickey to part with, although that's what would be fair to the servers. ...

It's easy to find the automated ones, they're the ones going in reverse!