SteveB wrote:

Will get back to investigating this. It's just that I've seen OEM manuals
from $71 to $86! Maybe I can get a used one on ebay.
Advice? Clues?

It's interesting that the benchmark of what is a 'fair' price is what
the aftermarket manuals sell for. Once you see the real OEM one, you'll
have paid double what they're asking given what you get in value in return.

--
Regards,
Dave Brown
Brown's Marina Ltd
http://brownsmarina.com/