thank you. I'm changing to a Carter pump, and I will double gasket it.