They were able to take that pulley off the crankshaft, so I dodged the really big repairs bill.
The car runs better than ever--particularly noticeable with cold engine, and I expect better fuel efficiency now too. And of course, now I have the added benefit of having had pretty much all the car systems checked through and through, and knowing they all work well.
While they had the engine opened up, I went for a new timing belt and a thermostat, so that I won't need to have this sort of work done any time soon. Three years at least, if I continue to put 20,000 miles on the car each year.
Now I am looking forward to the autocross next weekend.