I didn't know this about tipping until recently. I'm a nerd, including when it comes to the restaurant business, even though I'm not part of it. Did you know this?