I am looking for any service manuals related to the Watkins Johnson WJ-8940B Receiving System. I'm sure it qualifies to be called a premium receiver as it is quite a complex radio to say the least. Also looking for anyone that has one to share information. Thank you for any help. Craig Harrison (craigjv3 at gbis.com)