Full session: https://www.youtube.com/live/ehoVdB3ne18?si=dplR51j7zuFwK8O9&t=2753

Not only this beats by a big margin the previous official record, but only supposedly loses 0.1" over the previous invalid record. That one was invalid because it was only timed with LiveSplit, but the recording was damaged, so it was impossible to retime it precisely instead.