What an absurd premise. It's too valuable to allow it to disappear. Revenues of $30m/year in a territory with a GDP of ~$70m/year means there is more than enough skin in it to suggest that this moves from a ccTLD as it was to a gTLD, if IANA really care about the difference. It's another Tuvalu (.tv) story in the making, nobody in Mauritius, the UK or the islands themselves is going to just let this disappear.