In the club section to the right, the International restaurant is open as restaurant buffet the day and as a la carte restaurant in the evenings.