Het Jedi Restaurant serveert een selectie van Thaise en continentale gerechten.
Le restaurant Jedi sert une sélection de plats thaïlandais et continentaux, tandis que des fruits de mer frais et des steaks sont proposés au restaurant Seafood and Barbecue Corner.
