Here is a google spreadsheet with all times that I recorded: https://docs.google.com/spreadsheets/d/1aBnMjAOitmGvfbt06UvZH-cMvvIQw4qKq3Fo5SAoIis/edit?usp=sharing

Mod note: retimed to 13.167