An appropriate tip for a waiter at a restaurant is at least 15%. For a tab of $20, how much money should be left, including tip?