The Red HD coolant is fine, it's not at all related to the DexCool. It has additives to protect against cavitation- a big problem in large Diesels. I use the GO5 for better protection, I have aluminum heads,WP, Housing, radiator and t-stat housing. The green stuff can work, just check for voltage buildup or flush regularly.