House Wok is a hot pot restaurant.