Thanks for the advice. I have friends who said the airport lines were enormous as well. They have done this cruise before and are doing it again with us. (They must have liked it)
The flight actually departs at 11:59, roughly midnight. What time would you get to the airport?