How soon can we get on the Serenade of the Sea out of San Juan? It docks at 7am and leaves at 830 pm. They say we can't get on until after 5 pm. We have been on the Navigator of the Seas and it docks at 7am and we were on it by noon. Any...