De Gourmet Market biedt een verleidelijk internationaal ontbijtbuffet, evenals acht live kookstations voor het diner. Er is pizza rechtstreeks uit de oven, een houtskoolgrill, een vis- en sushihoek, Indiase tandoori, Aziatische specialiteiten uit de wok, een Italiaanse delicatessen- en pastastation, Japanse teppanyaki en tot slot het dessert- en ijseiland.
Openingstijden
Dagelijks: 07:00 - 10:30 & 18:00 - 22:30
De bar van de Gourmet Market is de hele dag geopend.