In response to my question last week, you suggested using radiator flush when you change your coolant. Does your Yanmar mechanic suggest that as well as a raw water flush? You'll recall this was a discussion about vinegar's damaging attributes to the interior of the engine. Thanks.