i would be willing to bet most people just run a good elc coolant, international filled them with the green stuff from the factory, which is also fine as long as you check it from time to time, if you are changing your coolant and want to go to an elc,(red) you will have to flush the system, or...