Am looking for any info about diving Isla Mujeres...which dive shop, which dive sites, where to stay, etc. We dive CZM so often, we are looking for something different as well as a chance to see whale sharks. Want to go first part of July. Thanks in advance for any tips you have to offer!