An appropriate tip for a waiter at a restaurant is at least 15%. How much money should be left for a tab of $20.00?