Being NOS, the gasket would be logical thing to replace. On closer inspection the old gasket was a dull grey color which made me suspect a lead gasket so I tested with a lead test kit from Lowes and it is indeed lead. Although the lead is not deteriorated, My question is how well did those lead gaskets hold up on the oil pumps?