It's probably a fair "todays" rip off price. But I would shop around a little.
That really sounds like a Pedders price or one of the chain group prices.

Many mechanics would eat this type of job up and I would be surprised if you couldn't do a little better.