Exactly. He's a 1:10-1:11 half marathon runner on Ironman courses (and based on his GPS files, they are 12.8-12.9 miles)... I've run 1:06 and I know for a fact he can't run a 9:34 two mile with that form and looking like that. Would love to see him jump on a track and try that.
He ran 3000m.
Guys break 9 with form like that. It's more about how fast you move rather than how you look doing it.