G'day all.
Just seen on Ebay an auction for a large lot of vintage RCA broadcast camera equipment manuals:
http://www.ebay.com/itm/261004047585
There's service manuals for the RCA TK-11, TK-14, TK-15 cameras along with quite a few others and the associated camera chain gear like the PSUs, CCU's, monitors etc...
The auction has a hefty price tag but those who have the money and are willing to bid that amount on this bundle of manuals, happy bidding!