Paulo has a receipt from a restaurant. The total amount is blurred, but he knows he left a $4.25 tip, which was 20% of the cost of the meal. How much did his meal cost? How much did he spend in total?