Quick question on logistics. We only have one day (of our week) with just one cruise ship in port. The rest of the days is always 2. If a Disney ship is in port 8-545, what would be a general time that group would tend to leave the baths? That appears to be our best day and we will go late afternoon. Just don’t know the timing. Thx.