We left our waiter a rather generous tip and got up to leave, feeling slightly vindicated.