I have them on CD-ROM.

I also think I have the final patches for them on floppies that I stuffed in the boxes. Not sure if they’re readable (or in fact the final patches)

I tried to reupload the full 600 DPI scan but lemmy.world decided to start coughing - though I don’t think uploading it at higher quality is worth it, as the 2000px wide version is already pretty representative of the original.

I think the full PNG is already of printable quality. If you really need it in PDF format for some purpose or other, I recommend just grabbing the PNG and converting it. I may see later if I can convert the 600DPI scan to PDF though.