Thanks for the input. According to the logbook, the system hasn't been
overhauled since 1983, so a fresh overhaul doesn't seem unreasonable.
I'm getting cost estimates from $1200 to $2000 depending on what has to
be done. Down time is a couple of weeks.