You must include what you're driving.
I don't know how much that repair would cost... but $9K seems ridic. Does that $9K meet your acid test? Not mine. For $9K I'd be looking at other shops.
You could purchase another car for $9K. Hope you get the answer you're looking for. GL.