I’m planning a trip to Mauritius later this year and am considering spending some time on the island of Rodrigues. Please has anyone dived here? I’m finding info very hard to come by online, and even the couple of dive instructors I’ve managed to track down haven’t been very forthcoming. I’d love to know if it’s worth the extra trek! Thanks in advance for any crumbs of information…