Hallo, Vorreservierung geht in den Buffet Restaurants nicht. Es stehen schon etliche Leute vor Öffnung der Restaurants vor der Tür. Wenn ihr aber einigermaßen pünktlich seid, ist es kein Problem einen freien Tisch zu ergattern. Das Market Restaurant hat zwei Tischzeiten, 18.00 Uhr - 19.30 Uhr, dann wird alles neu eingedeckt und das Restaurant öffnet wieder 20.00 Uhr. Das Bella Donna Restaurant ist durchgängig am Abend geöffnet, da wird es ab 18.30 Uhr schon schwierig, einen freien Tisch zu finden. Das East Restaurant bietet täglich Speisen aus einem anderen asiatischen Land, also in diesem Restaurant haben wir zu jeder Zeit einen freien Platz gefunden. Ist auch toll zum Frühstücken, da immer nur halb voll, es gibt eigentlich so ziemlich das Gleiche wie in den großen Buffetrestaurants. Da ist es morgens immer sehr voll.