Were they not running around 1.2 miles or more at Vmax ?
VBox data would be able to tell you exactly what distance was used.
Google Earth shows it as around 1.72 miles long though for the main runway, 1/2 mile is still a good distance to slow down
What is the UK record if any ?