Yup, I've seen the "how to replace" the tandem pump Brian posted, (nice job!) and posts about coolant leaks in the vicinity, and similar posts, and the recommendation to replace the gasket if the area is being worked on since its difficult to get to.
What I haven't found is: If my tandem...