We were there and saw it - fantastic!
Having driven this track, I can say that the speed at which he can take some of those turns (esp 5, 6, & 10) is just shocking.
Imagine if one of the top teams teams (and drivers) were to go after this...there might be another second or two taken off.