This morning I phoned the repair place I've used most often, and asked when I might be able to bring it in. First opening - July 9th. Yeah. No. Said thanks for looking, and phoned the other (also very good) repair place. Rick said bring it on in, so I had the perilous trip from the dock, with the meter pinned for the last part of the run.
Verdict now in: old hoses, the whole set needs to be replaced. I'd asked for an oil change as well (I know it needs it), and the total for parts, labor, etc is going to be $680. Yow. But I know all too well it could have been much worse. Cars are a consumable just like groceries, but on a longer time scale.