So, I just got off the phone with
DCL about our itinerary. The very nice agent looked up my reservation and told me she shows the below port times for our cruise (with the caveat that, as always, all are subject to change for a multitude of reasons). She actually gave me the ship arrival, all ashore, all aboard, and ship departure times for each port.
Key West 12:30 pm - 7:30 pm (arrive at noon; not scheduled to leave port until 10 pm but she couldn't say why we had to be on board so early)
Grand Cayman 7:30 am - 4:30 pm (arrive at 7 am; leave at 4:45 pm)
Cozumel 9:30 am - 6:30 pm (arrive at 8:15 am, she thought there were probably customs issues causing the delay in getting off the ship; leave at 6:45 pm)
Castaway Cay 9:30 am - 4:30 pm (arrive at 8:15 am, need time for the crew to unload and get things ready for us; leave at 5 pm)
I really hope these are the correct times!