When it came time to pay, the debit/credit card machine gave you two choices for tip.