Fred is training for a cross-country race. At practice last week, he ran 6.25 miles in 1 1/4 hours. At that speed, how long would it take Fred to run 8.5 miles?