Of course I searched the threads before I posted my question and of course right after I posted it I found a thread where a dozen members recommended Dex-Cool. Any brand of Dex-Cool Orange will do?