They should tip the full amount in a single tip. In the event of an honest tipping typo, such as accidentally typing 5 instead of 50, if he immediately added the missing amount, I would personally count that as well. But they can't expect you to keep a running total of every individual person's...