We are returning to Miami, and are flying out of West Palm Beach (because Southwest doesn't fly out of Miami and all flights out of Ft Lauderdale are booked solid) Our flight leaves WPB at 1:50 pm. Our friends (who have cruised before) think it's plenty of time, but I think it might not be. Anybody else out there care to weigh in who had a similar issue?