I have a couple of questions on this compressor, as far as coolant what is everyone using ? Antifreeze pure or 50/50 mix, would like to know brand and type. Distilled water and water wetter- mixture of each. I have to admit I haven't paid a lot of attention to the compressor section lately as I have been very busy since the first of the year. I usually go to the dive shop but I've decided it's time to do it myself. I bought a GX-E-5K1 on prime day last week and my wife is wondering when I'm going to start it up LOL. My search didn't reveal too much as far as coolant. Thanks in advance Darell