Anyone know what time checkout is until at the port? I know it starts at noon, but considering flying into Palm Beach Airport and its an hour drive......THANKS!