Well, finally got around to finding a gasket kit for the pump. Reasonable in price, NOS, $13 shipped.
Well, it's not exactly what I'd call complete...really half a gasket kit with extras thrown in instead of the correct gaskets. Filing a dispute on eBay. Beyond pissed, looks like someone had opened the package and resealed it with packing tape.