Korean food traditions go much deeper than barbecue —