Mario leased a car for 39 months. The monthly payments were $115, and the lease allowed 10,000 miles per year. Additional miles above those allowed were priced at 20 cents per mile. The total amount Mario spent on the lease was $4,997, excluding taxes and fees. How many extra miles did Mario drive?