Well with all you have said it needs/ has been done. I would go over that boat with a micro scope looking anything else wrong. IMO $7500 seems alittle high from your discription.
oh yeah $1000 to regel a deck... maybe in a dream world. more like 5k, hell it would cost you ~ 500-700 just for the materials.