Should the customer have gotten his tip back?