Thanks for the replies. I'll check those out. I got a quote of $4,500 from an independent shop which is lower than the pre-AGA tool prices, but it seems high compared to the going rate in other markets.

I've only got 70K miles with a lot of short trips, so it may be a function of time v. mileage.