That's another angle to my question - should I replace a couple hundred dollars worth of hoses? If not, should I touch fittings that have been happy for 23 years to replace o-rings?

Thanks,
Sixto
87 300D