Anyone use a radiator detergent when doing a coolant flush? I want to replace the coolant in my newly acquired diesel tractor, the engine maintenance manual mentions cleaning the radiator w/ a detergent. I'm asking if anyone has done so, and has a recommendation for one type? Thank you.