On my phone right now. Might type more after lunch.
I think I have some 730 manuals that are not yet on Bitsavers. Some original and some
photocopies. I plan to scan all of them.
I also may dump the console firmware PROMs at some point. I've already done some
preliminary disassembly of the TU58 firmware.