I'm not sure of exact time, but I did the 1.25 mile (@ 179.1 mph) run in approx 33secs so the 1 mile should have come up in around 27 secs or so.
Ronnie would have completed it significantly quicker than that as he completed the same distance with a terminal speed of about 196mph.