Ah, ok.
Interesting, even if I change the extension to avi, mp4, etc, I still can't get them to play. Even VLC (v0.9.10), which usually plays anything, gives me the error message, "No suitable decoder module. VLC does not support the audio or video format 'twos'." Doing a little Googling, it appears that "twos" is some weird JVC camera codec(?).
Anyway, maybe if you get a disk image of the whole disk uploaded at some point, I'll be able to watch it from that...
Thanks for your efforts! The pdf DP5 ebook you linked to earlier is helping me a lot! Amazing how similar DP5 still is to DP3.