Had an exhaust leak at the flange next to the driver side O2 sensor. I have the new gasket in but the replacement I got from the Autozone guy is surprisingly large. Only $4 so I’m not out much but can someone tell me what the diameter of the exhaust flange gasket should be?