Roy Choi’s diner serving up meat- and seafood-packed hot pots and Korean barbecue. Yup, a restaurant called Pot. With hot pots.