Oui, pour le service du dîner au restaurant buffet de l'hôtel, une tenue formelle est requise : pantalon long ou short pour les hommes et pas de débardeur (pour les hommes), vêtements de sport, maillots de bain, vêtements de plage ou similaires.