Treasure Cay Marina Is the resort and marina open? Website says closed. Any shops or restaurants open?