Ouch!

The car shop called.  It’s going to cost $611.64 plus tax to replace the water pump, timing belt, and tensioner (Q called the dealership, just to check, and they would have charged $850 for the same thing).  The good news is that it will be done by Wednesday, so I only have to pay for 2 days of car rental.  Woo!