Finally got to see it. Unfortunately I had heard the results earlier today.
Amazing run! Wow!
Off topic, I heard today that the tradition of the lighting the torch originated in the 1936 Olympics in Berlin yet we still go through the same ritual. Seems strange if that's true.