The official time is 7:42.52 (I was late in stopping the timer in the video, as it should be stopped as soon as the license appears).