You are saying $10,000 for a traditional repair vs $500 materials DIY? With miscellaneous over $9,000?
Are you repairing the deck, the hatch or both? I recored my hatch with Coosa board core. It wasn't a big DIY project. Less than $800 with lots of leftover material. Deck was fine so no repair...