Jungle Wok is a hot pot restaurant.