I checked the lists provided under all data. I am surprised not to find a TSB for the Intercooler pump.

I'll keep looking.

leadfoot