Unfortunately, I neglected to record the "Loading" text (important for rules compliance), but we absolutely know the in-game time for single level records, and we know that for single levels the real time is 7-8 seconds longer than the in-game time.

I'm not sure the millisecond counts are verifiable - I'm reading them from the best_times file but obviously they're not displayed on the bomb timer so I guess it has to be left to self-report.