DG Nova 3

Hi everyone, we have finally received our first Nova. It was installed in a classroom at a school where they taught some basics of computer science. They bought it new in 1978 and used it until 1986. All parts still look like new, no obvious yellowing or worn fronts. The system consists of the Nova 3/12 and 6050-2 cartridge disk drive in a 19" high-boy cabinet and two terminals, a Dasher 6042 printing terminal and a Dasher 6052-2 CRT terminal - both have a very cool design! Now to my question ;-) The system came with several cartridges (containing RDOS and BASIC, as far as I can tell), but *no* manuals. I haven't found any manual for our system components on the net (nothing on bitsavers, too). Does anyone have scans/images? I would need at least the Nova 3 printset and diagnostics (e.g. papertape images) in case it needs repair or maintenance. After all, even if the power supply and CPU seem to work, I'd like to be sure everything is ok after 26 years. (The former user, a teacher, didn't even know that you could dismantle the rack, nor did he ever pull out the CPU or the power cable from the rack...). Christian PS: Repairing the key switches in the terminal keyboards (disintegrated foam) is another story...