I know these kinds of questions get asked all the time, but I'm trying to decide whether to book a fare now and am wavering. American has a decent fare for our departure for a flight at 10:55am. When we debarked from our prior cruises we could easily have made a 10:55 flight both times. In fact, our first cruise when we were going to WDW afterwards, we debarked so early that the bus got us to Old Key West by about 8:15am. Would you book a 10:55am flight?