Does anyone here use RMI-25 in their 6.7L diesel coolant system? Just wondering. I have used it in the past with good results, but never in a diesel engine. John