I did a search on this subject in the Mexico forum and got a few hits, of which I checked them all out. However, those threads were generally 4+ years old, so I'm hoping for an updated version, please? If we do a cruise that goes to Progresso and Coz, what is the best thing to do in Progresso? Can't find any diving info, so evidently it is not offered there? I did see a suggestion to take a trip to Holbox to snorkel/swim with whale sharks- is this doable while in port? I also see that the cruise ship offers a ceynote snorkel trip, has anyone done this before and would you recommend it? Thanks for any info you can give!