They do exist in Korea!!!
Maybe not everyone's favourite food, or something they'd miss out on. But cut in halves or quarters, tossed with olive oil, salt, pepper and then roasted is delicious. I have a feeling they're going to disappear again soon for who knows how long, so it's going to be brussel sprout time until then.