The car is back and all is well ... almost.
The total bill footed by my insurance company was:
Repair: $ 1894
Rental: $ 546The repair job itself is perfect, as far as I can tell. They even managed to get rid of a start-up noise bedeviling my car for quite some time.
The one fly in the ointment is the winter tire search. As expected, the garage is having a hard time finding another winter tire of the same brand/model/type/size. If I don't hear anything by Tuesday or Wednesday, I'll tell them to get a current generation tire that will exist in the fall. I will then buy 3 new ones. What the heck, they were getting old anyway.
In the meantime, they put on my full size spare (9 year old OEM tire!!!
). It seems to hold pressure so all is well until I swap out my winters for my summers later this week.