I don't remember the name of the Korean restaurant, but it's located on Orange St, on the north edge of downtown (not the 9th Sq end of Orange St). It is right next door to an Irish-esque looking pub called "Christy's" or something and the restaurant looks like it has informal barstools in the window.
Went by early in the AM and didn't stop (we were on bikes) to look for a menu . . . any news?