Usually when you hear the words “Indian Ocean holiday,” your immediate thought is, “OK, I’d better sell the family silver, then.”