Didn't someone on here say at one point in time that the pump for the REST system is the same as the one for the Intercooler? I might be wrong on that, but that's what I think I remember.

If it is, why not swap the REST pump for the intercooler, since I'm sure you use the supercharger a heck of a lot more than the REST system.

BC.