Can anyone tell me if the turbo outlet gasket for an 80 Buick turbo is a donut or a flat gasket and maybe a part number?