9:14 from Title Screen timing, but 9:07 in SDA timing which is what this leaderboard seems to use.