Cool. You guys are GREAT. You just saved me a whole bunch of money. I think I had found a source for them on ebay. Not specifically the right manual, but they said, on their site, that they have other manuals available. I emailed them and asked about availability and pricing. The price I was quoted was $122.15 including shipping. The Messick link you guys provided the cost was $59.28, including shipping. Half the price and I ordered one.
Thanks a lot, gentlemen. I really appreciate it. I think I am competent enough to do most of my own service but am much more comfortable with a service manual.