I own a used Hyundai Elantra 2004 and think it is supposed to have dexcool. I bought it used and found green type in the rad. Tomorrow I do have the long warm up times so I am having the t stat changed and going to use dexcool. Is dexcool what hyundai suggests???