I wanted to submit a higher quality video, so I figured "why not get a better run"?

I added time for each extra frame at the end, resulting in a 9:47.89.