My time is 9:14.93 Lap times:

1. ‎0 ‎54.06
2. ‎0 ‎55.38
3. ‎1 ‎13.79
4. ‎0 ‎37.09
5. ‎2 ‎45.33 (100c)
6. ‎0 ‎07.65
7. ‎1 ‎22.35
8. ‎1 ‎19.24 Sub 9 is probably out of reach.