$10k seems awfully high. What are they going to correct that was done wrong? Is there piping that needs to be reworked? Venting that needs to be changed? Are you switching from electric to gas (or vice versa) that requires a new service to be run?
Even with that, $10k is too high. I know I...