We sat down for breakfast at 7:05, finished and followed the line to disembark, used the elevator down, followed the customs line, had our passports ready, cleared customs, boarded the bus following the RED line, and were sitting on the bus at 8:17.
Arrived at MCO at 9:30, Pre-Check was a walk...