The ships departure time is posted as 5:00pm. That means posted boarding time should be listed as 12:00 noon to 3:00 pm. As previously stated, they don't actually go by the posted times. They begin the process as soon as the Customs official arrives. That is usually earlier than posted times although its not guaranteed to be open early.