Indeed. Don't forget the currency is the won, not US dollars. Foreign currency in a communist country is most likely very hard to get (at least in East Germany it was).