holbox

I'm hoping to visit Mexico for the first time next July, in search of whale sharks and, of course, great diving! Do people think Holbox or Isla Mujeres is a better bet as a base ffor a couple of days to take a whale shark trip? Cost is a factor as I'm on a tight budget, but the main thing is...