yeah I timed it with LiveSplit but the hotkeys might have some delay so it's most likely a little bit longer

Retimed at 60fps using SPRT, resulting in a time of 11s 283ms.