Does the waiter giving you a mint at the end of a meal have any influence over how much tip you’re going to leave them?