My new best time on the 20th version of the game. My split being very late at the end, the real time should be around 9:32.