On a whim, I just powered-up my dead Sony F717.
To my astonishment, it worked!
Knowing I was on borrowed time, I ran outside and shot one of our late-season serrano peppers.
And then my old camera died again.
It was a magic moment, and a bit strange.
Definitely have to get it fixed, since macros and IRs are styles that the new camera doesn't handle as well as the old.