I can't post any links or auction numbers because it's not permitted in this forum, but if anybody's interested there are several original service manuals for different models of consoles just posted on eBay. The prices are absolutely nuts, but they really hardly ever come up, so...