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 changed.
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!
PoD