Restoring an Intel SDK-86 to "mostly like new" condition

Yesterday I got a SDK-86 as a gift from a friend. It was well used, and stored in a damp and dirty place. I disassembled mostly of it, washed the board, disassembled the keys, washed the keycaps, and it is looking like new :o) I'm building a page about that, but I'd like to ask some questions... - What documentation came with it? And what is avaiable? I have the 9800697/698/699 manuals avaiable on bitsavers, but is there something else? - Can I link the documents on bitsavers on my page? I don't have that much space on my server and, although I like to keep a duplicate copy of the documents online, I just can't at this moment. - In the kit, what kind of sockets came with it? I see most sockets are Texas Instruments, but some are made by another company (and I know how unreliably they are). Should I change all the TI sockets to turned pin ones, or can I keep than and change only the gray ones I know that will cause me problems? Photos (and the page as soon as I finish rebuilding it) at http://www.tabalabs.com.br/outros_micros/sdk86/