The old bolts were severely corroded. I managed to break one of them which took me two hours to extract. Rusty threads were cleaned and lubed with antiseize. Then the gasket surface was sanded smooth and a new pump installed with stainless bolts. At least it will be easy to take apart next time!