funny about the tipping
My understanding is that the IRS assume that the tip will be 15% of the total bill and tax the server accordingly! (The receipt will have the server number automatically appended and the IRS know who served what). No wonder that they get shirty with poor tipping by Brits.