Replaced the vacuum pump today. I used the old gasket, "open end" gasket, no basket. It ran fine. Took about an hour and a half. You can see why these were repalced. Thanks to "SrewDrivers" facilities(my father's) and Juan. Also many thanks to Hattie and GSXR, ,totaled about an 1.5 hours. Wonder what it would have cost at a INDY?

I used the old,(open) gasket, with the basket in place