We're sailing on the Carnival Triumph 5/31, stopping in Progreso, Yucatan and Cozumel. There are lots of suggestions for shore excursions at Cozumel, but I haven't seen any posts for Progreso. Has anyone been to Progreso in late May/early June? Should we book through the cruise if we can't get outside information? Thanks for your feedback.