So I am mid process of changing the timing belt and water pump on my tiburon and after reinstalling the water pump I'm wondering what kind of coolants I can use. Hyundai is very vague on what they actually require, just stating an ethylene glycol if I'm not mistaken. I was at an autozone looking at the three different Asian versions of peak and all of the ingredients are listed to be the same and in the same order so what are the differences in these and are there any dangers for using one in application of the other (assume no mixing)?