Thanks, Dizzy Bull and vhs!
Yeah, I checked out all the places you mentioned and some underground/subway-ish spots in myungdong.  I found records, but they were the kind that we already mentioned.  And yes, vhs, almost all were priced at 5000.  I found a couple places where the korean records...