A parking garage charges ​$1.25 for the first hour and ​$0.50 for each additional hour. If a customer gave the parking attendant ​$15 for parking from 10 A.M. to 3 P.M.​, how much did the garage​ charge?