I'm working on an intercooler "project". Just wondering if anyone knows, off the top of their head, what the diameter of the intercooler intake pipe is? That is Michelin man hose end. Thanks Tony 96 S6