That should be an expensive repair if that shop is doing it properly. Proper teardown is the only way to really know what all needs to be repaired and replaced. If they're doing it correctly, even a small nick on an otherwise still functioning part may require full replacement of said part...