Is $9,000 to replace IKO Dynasty asphalt shingles on a 1550 sqft gable roof a fair price?

This quote is for a roof replacement using IKO Dynasty shingles, as per the insurance scope of repairs. It includes a limited lifetime warranty on materials from the manufacturer. The work details are: - Shingles: IKO Dynasty, Lifetime warranty - Scope: Roof Replacement as per insurance scope of repairs - Tear Off: 1 layer of existing roofing shingles and felt - Wood Replacement: Any rotten wood replaced at market price plus $85 per sheet or market price plus $6 per board foot - Underlayment: Install 1 layer of new underlayment, nailed to deck using approved fasteners - Flashing/Vents: Replace all Pipe Boots, Roof Vents, and Re-flash as needed - Moisture Barrier: Install Ice/Water shield moisture barrier in all valleys - Material Warranty: Limited Lifetime Warranty on materials from manufacturer

Quote includes replacing the existing board roof with new plywood and installing IKO Dynasty shingles. - Shingles: IKO Dynasty - Decking: New plywood for entire roof (replacing existing board roof) - Ventilation Note: Discussed improper vents due to closed soffits, requiring vent style change if soffits aren't opened.

This option is for replacing the roof using GAF Timberline HDZ shingles. The homeowner is seeking advice on the differences between this shingle type and IKO Dynasty.