Has anyone been to Rodrigues?

[OffTheBackOfALaurie]

Should we go? Best and worst things about it? Where to stay? What not to miss?

We went years ago for 4 days. Were staying on Mauritius for a month a fancied a change. It's probably very different form 20+ years ago but it's not a major tourist destination & I can't remember doing an awful lot. There was one hotel called Cotton Bay which is on a nice beach & the food was excellent.
The SCUBA was out of this world.