Thanks, all!
We'll be flying in and driving down to Key Largo to stay.
Anyone know what time the cruise ships typically dock in the morning, or know their schedule?
It depends on the port and the ship, but the ones I’ve been on dock really early in the morning and debark passengers and start turning rooms around by 9 am so that they can start boarding passengers by 11 am, even though rooms might not all be ready by 2 pm, for a sailing time of 4 pm. I don’t remember what the latest boarding time is, but there is a significant amount of time spent in the terminal with checking in bags, going through security, and checking in with tickets, passports, and room keys.