I have owned a troublesome 2010 BMW for 8 years now. No individual repair has been over $2,700.00. Most are closer to $1,500. I was quoted (by a dealer) $15,000.00 for engine repair once but it turned out to be a spark plug. $9,000.00 sounds like a dealer quote. Find a good independent shop.