Actually, if he did measure it in his car as you suggest, then a real distance of 9.5 miles is quite possible... AIMS reckon cars measure courses at least 5% short.
Quite possible Tea.We are going back 30 years though.What if it was measured underdistance.That'll get the formites going!