Revolutionary heroes ranging from John Brown to Kim Il-Sung are isekai'd to a fantasy world that parodies shows like 'the rising of the shield hero' to break the chains of slavery in all forms once more and liberate the fantasy workers and the peasants from the yoke of feudal oppression while hunting down so-called "heroes" summoned by the feudal lords who intend to use them as tools to preserve their power and the economic base of their feudalistic slave economy.
Show me Stalin riding a chocobo or some shit leading a calvary charge against slaver caravans!
Show me Marx, Engels, and Lenin working together in the cities inspiring the proto-proletariate to take up arms against the feudal robber-barons and their land-leechs that bleed them dry
Show me Mao, Tito, and bonus character Jan Žižka, on a rural bro-venture with the three in a competitive rivalry to see who can organize the greatest peasant rebellion between the three!
I doubt they would be able to give the foreign stuff they worked on. But the domestically made shows and movies are usually sold by Mokran Video (the main dubbing/localization and media company in the DPRK). The embassy staff will probably just tell you buy the licenced international versions (usually some Italian, Chinese or French company owns the copyright to it and have some generic english dub with the usual VAs for anime and video games) or watch it online, since those can easily be found on youtube and some other video hosting site.
Most of these DVDs are sold on Mokran Video stores that exist in most of the country, I think there some videos on youtube with people buying these dvds.