Thanks for the tip! That decides that issue.
And now I am thinking that it's a long winter and I am already removing the engine, so maybe a re-seal or even rebuild is not the worst idea. Does anyone have tips on the bill of materials to disassemble and reassemble the engine? The workshop manual says which parts should always be replaced, and then Pelican sells three gasket kits which appear to possibly (but maybe not, hard to tell) include all of those items. I don't want to buy two of anything if I can help it.
Then I need to find a machine shop qualified to work on the various pieces of the engine. I'd be going at least 600 miles to get to one, I think, so I may as well ask here which shops do a good job for a fair price and are easy to work with remotely by shipping parts and talking on the phone or by e-mail about what is needed.
Slippery slope...but the car deserves it, right?