He worked it out with a pencil.
Because that's what they did last year.
It's 9.18 am and 12 seconds no wait - 13 seconds no wait - 14 seconds no wait......