Thank you to everyone for your time to reply. As I see, it is a complicated issue with lots of opinions and real world experiences. So my choices seem to be: keep the orange Dexcool, or use Zerex Original Green, Zerex G40 Si-OAT, G-05 HOAT, Prestone Yellow. From the reading I have done, and your...