Red Wok is a buffet restaurant offering a range of Chinese dishes.