Yes, I know. Two more Youtubes from there:
http://www.youtube.com/watch?v=gdB6G0a0VTQ
http://www.youtube.com/watch?v=Z6lWwjsYDrE&feature=related

I will try to convince my wife to go there with me (we have booked half-board), but until now she is still not a DPRK-fan...


@rjluna2: interesting to know that. But sorry, I cannot help with details. The guide-girl http://imageshack.us/photo/my-images/233/img2096p.jpg/
didn't know more either.

About the history of the USS Pueblo: you know, that originally it was a civil freight-ship, built in 1944?