fuzzy3, Congratulations for tracking down your hard copy. It is always good news when a goal is achieved, no matter how small or remote. What do you mean, though, by "The disks are now next to useless, of course" ? Is it really about floppy disks being defunct, or did you get a set of disks that have digitally perished? That, of course, would be a shame after all these years of searching!!
Anyway, I've been after a good printed manual now for some time, but without satisfaction at present. The hunt is still on.