So the car is finished for the year!
On the weekend it developed a not-insignificant coolant leak that I first assumed was a hose or clamp issue, since I'd just done a flush & fill. But on further inspection it appears to be coming from the water pump.
Unfortunately, replacing the pump isn't a simple task -- it's behind the timing belt, and the pump housing has 2 belt idler pulleys integrated in it:
Fortunately, "replace timing belt" was already on next year's to-do list.
So the car will go into storage broken, and I'll sort it out next summer.