We do have pre-check, and it says that is the debarkation time. I figured if we lined up at 6am
to be at the front of the line, and had a car service scheduled for 7:30am, it would be ok? I did check to make sure that there aren’t any races going on that day. It is terminal B though, and I know that one can get crowded. Next flight time for us wouldn’t be until 5pm, and that’s just so late.