I am going to Isla Mujeres the end of June for a wedding. I don't really know how the diving will be, but I'm wondering when the whale shark season begins? Anyone with any advice on dives for this area or info on the whale sharks is greatly appreciated!!