What time do they start boarding? They should be ok for a noon checkout and by the time they go through the preboarding process and then board it should be good. We have been on cruises where they left late in evening but took care of us after boarding in afternoon.
