Since the manual simply says to use an ethylene-glycol based coolant, that's what I did; the old-fashioned green stuff. I've only ever had to use the old green stuff and Dexcool, so I've never looked into any other types. They must be using something that can mix with anything to allow any ethylene-glycol based coolant to be used; they would have been more specific if using a certain type is going to cause problems.