The coolant in the model 8890 is not mineral oil it is a silicone high temp oil.

Virus-free.www.avast.com