Unfortunately, there seems to be no Korean restaurants, although there're a lot of Japanese(sushi) restaurants and some Chinese restaurants that serve "kimchi" or sth like that.
Korean restaurant? Korean food and music are good, man. Good. Kimchi is the best. See, I`m in a kind of my Korean phase
BTS 'Not Today' MV
youtube.com/watch?v=9DwzBICPhdM