$13,000 is fairly cheap for such a detailed hardware manual.
I have a broken 3 year old dell laptop that I was trying to re-purpose the LCD screen for a Raspberry PI. I called up dell and asked if I could get a technical hardware manual for just that small board and they simply said that unless I was a company and would pay a lot of money they would not share any schematics.
Obviously a crap Dell laptop manual is sodding priceless in comparison.
Biting the hand that feeds IT
