Hmm - I too have the Kitazawa catalog, & did find some radishes & cabbages/greens mentioned as originating from Korea.

Do keep in mind that a lot of Asian cultures do share the same vegetables. Your best bet may be to do an online search for Korean vegetables & recipes, as well as to peruse some Korean cookbooks & see what vegetables are used in recipes that you think might interest your girls. Even if the veggies turn out to be plain cucumbers, carrots, eggplant, etc. - it's the authentic recipe, spicing, herbs, etc. that ultimately makes it "Korean".

You may be interested in other companies

http://www.agrohaitai.com/onlinecatelogue.htm
http://stores.yahoo.com/evergreenseeds/index.html

Contact evergreenseeds.com. You will find some help.

FlowerFan - Just came back from Korea and was wondering the same thing about Korean vegetables. It's worth pointing out is that many Korean vegetables are wild or 'tamed' versions of wild foods, which might make it difficult to find seeds over here. The other difficulty is that many of these veggies probably have no equivalent english name, which was a challenge for me when asking my wife (I'm Korean by marriage) what a certain vegetable in a dish was.

The good news... You should be able to find pretty much all the seeds for vegetables needed to make kimchi easily, although maybe not the specific varieties. Mu (daikon radish) and pechu (chinese cabbage) are essential, and if you can't find specific Korean types, the regular chinese ones are very similar.

Another thing worth trying would be visiting a Korean market and buying some produce, then starting plants from seeds or propagating plant parts. I'm going to give a few things a try, and I'll let you know the results.

G