I know this is "Off topic" but I went diving in Cancun about 23 years ago, I know "That's a long time to wait to bring this up...", but I stayed at a place called Rancho Libertad. We did some diving and the dive instructor did some spearfishing. I don't know the type of fish, I don't know...