No. Steve and I ate a quick sandwich before we left. Joshua and Matthew split a meal. Steve got a soda.
OK - a $3 tip is a very good tip on $7! Way better than average! I wuz just wunderin' :~D