Yes, I’ve been to Korean restaurants and occasionally been served “a small side of cold, smooth, slightly sweet mashed potatoes almost like ice cream” with some carrot or cucumber in it for crunch. And almost always, it’s been “no more than a tiny scoop of it on the plate, [leaving me] wishing the restaurant gave [me] more, maybe a lot more, in a large bowl!” So Maangchi to the rescue! Also super easy to prepare.