Wok Gourmand is a buffet restaurant offering a variety of Asian dishes.