CDC 6xxx manuals - was Re: Control Data 160 Ebay