Thanks for the helpful insights! The cenote would be the highlight of the trip indeed (also having visited the other Mayan run sites you mentioned).
My sons do not like the idea of 3+ hours in the bus, and I can't say I blame them. Need to consider if we actually do this excursion, or find some other non-
DCL alternatives that don't require as much time on the bus and focus on the cenote. Would you say 2+ hours on a bus would be worth it just for the cenote? How much time do you spend there?
I was debating just walking around Progresso and trying to find some beach time somewhere. Those beach excursions though Disney are already booked, and the resorts don't seem to be plentiful. Anyone have any recommendations on where one could spend time on the beach during this day in port?