For those interested, here’s a break down (no pun intended) of the Air Koryo fleet:
http://en.wikipedia.org/wiki/Air_Koryo#Fleet
Looks like almost half their fleet is the An-24 “Coke”. Pretty decent military transport for it’s time, IIRC (built in the 1950s), but I’m thinking not exactly a particular enjoyable plane for commercial passenger transport in 2013.
Even Mike Rowe wouldn't risk his life on this tour ...