Just wanted to mention that I needed a manual -- searched all the usual suspects -- and finally found it here -- Vintage Audio Manuals -- the price was competitive and they had what I needed (and it was an original) and it arrived quickly :
http://www.vintageaudiomanuals.com/
http://www.vintageaudiomanuals.com/