Trevor and Michelle's restaurant bill comes to 35.50 they are planning to tip the waiter 20% how much money should they leave for a tip