Wok King is a wok restaurant.