A car rental company charges $50 per day for a car and an additional fee of $0.25 per mile driven. John rents a car for 3 days and drives it for 200 miles. How much does John have to pay in total? Let's think step by step and output the final answer within \boxed{}.
user