BTW, regarding the font used in DEC manual, I've been looking for this as well, to not much avail. I think, the print on the control panels of the early machines is Neuzeit S, if this is of any help.