But did they have real Korean food at all? My one experience with a Korean restaurant in Eastern Europe was rather depressing - e.g. paprika stained sauerkraut masquerading as kimchi, radishes with a bit of vinegar pretending to be kak do gi, standard beef broth for sulong tang etc. - and in general toned down - much less spice, much less garlic - bleh, no character.  That's why cities with large immigrant communities are so much better.