Jetzt mal für mich als nicht Tui Fahrer, damit ich mir das vorstellen kann:
Abends kann ich kostenfrei ins Buffet (1 Restaurant) gehen oder in das Haupt-Bedien-Restaurant.
Das wird ja nicht alles sein Ich habe das so verstanden: Es gibt noch weitern freie Bedienrestaurants oder auch einige Zuzahlrestaurants (wo dann auch die Getränke zuzahlpflichtig sind). Richtig?
Das Tag und Nacht, was rund und die Uhr auf hat, würde ich auch als Buffet zählen. Von daher eher 2 Buffets. Übrigens lecker Currywurst und das sagt eine Berlinerin. Ha ha. Es gibt mehrere freie Bedienrestaurants und ein paar Zuzahlrestaurants. Die Auswahl ist aber groß genug, dass man nicht unbedingt dort hin muss.