I don't think that $9,000.00 is out of line at all. I'm certain you could find less expensive estimates, but in general, you get what you pay for. It's not a wham bam type of repair and if you want it to last and not spend another $5K in 4 or 5 years, pay the $9K now and enjoy it for a good long time. **Use someone REPUTIBLE!