Noticed a little puddle of coolant on my intake of my 2000 supercharged Grand Prix. Decided to tear it down. Noticed the base gasket for the supercharger was probably leaking coolant. I'm going to upgrade the lower intake gaskets also. I have part numbers for the aluminum based gasket from 89017816 to x23-104-B6 to 89017825. The 89017825 is in stock locally, so I'm going to check it out today. Wondering if there is an aluminum supercharger base gasket also?