Ah thanks qsd-dan. Good point.
Haven’t removed the top cover, but do see a short segment of rust along the lower edge of the gasket, right where it had been leaking. Looks fairly superficial but can’t vouch for what’s deeper. Definitely raises the concern that a new gasket and clamp may still...