I'm gonna be installing oil pump gears soon in my 2014 GT, and draining the coolant is part of the process of doing it. I was wondering if I would need to drain/change the intercooler coolant as well. (I have a VMP supercharger). If not, it's still something I would like to do while I'm doing everything else. Any information or write ups about how to change and burp the intercooler coolant?