A car wash cost $12.50 at a local car-wash place. If you leave a 20% tip, how much are you actually leaving in tip? (What is the tip in dollars?)