Just got the car back from the dealer. There was a communication problem
about completion time but they covered a rental car. So far, it seems to be
a top-notch repair.
Everything under the hood is clean. The repair ticket lists replacement of
head gaskets, intake gaskets, valve cover gaskets, timing chain cover
gasket, and spark plugs. It shows they checked the heads for warpage and
also performed a valve job. Timing was set, oil, filter and coolant were
The car seems to run very smooth, better than before it broke. My guess is
that we should get another 120k out of her, now.
Thanks for the advise and commiseration, folks!