Here’s the latest on the car repair:
I got the car back yesterday (finally!), after a long talk with the shop. They are far more experienced with this type of repair than I knew when this started. I based several of my questions on ideas that were brought up in this discussion thread. My thanks to all of you for sharing!
To me the key question was whether the wiring was damaged. Lack of burned wires is a possible indicator that the surge was too short to heat up any part of the electrical system beside the control modules. This appears to be the case.
So far the car seems to be running at least as well as it ever did. Since I picked it up, we had some rain and a big drop in temperature. This does not appear to have caused any further issues. It did remind me to try out the heated seats (worked fine, my tush is happy). The big surprise was that the built-in garage/gate opener retained its code! A good omen.
So far, so good. If we get through the next 90 days of a damp, cold Missouri winter, I will consider the car healed. This would be good, as the car could not be replaced for any reasonable settlement figure. We seem to be off to a good start, but my fingers are still crossed.
Again, thanks to all of you for your interest and advice. You were a genuine help.