Buzz runs Half Dome in FKT!

I'm waiting for details, but Buzz ran the Half Dome trail on Sept. 23rd, roundtrip, in 2h49m. I ran this once and did 3h15m. I went up in 1h50 and Buzz went up in 1h47m - I'm sure that's not a coincidence. He smoked on the descent, though. This is the fastest known time for the roundtrip, beating Mark Spencer's time of 2h51m. Mark went up in 1h38m, though.

This is 14 miles, roundtrip and 5000 vertical feet.