I was number 3 in that race in the USA jersey. The way we cut the race was still very close to 5k by my Garmin, which read just a little under 3.1mi, within the margin of error of the watch, especially regarding the stairs.