Yep, we dove if off a cruise two years ago. It was good. I can’t remember the name of the operator at the moment. I don’t know that it would be a destination for diving but if you are on a cruise it is a good stop. While I loved the town, the diving is not Cozumel ( in my opinion). BUT, the beach, the little restaurants and the folks were fantastic.