Is $12,500 to tear down and rebuild a 240 sqft cedar deck with stairs a fair price?

This quote is for tearing down the existing deck structure and rebuilding a new one. The new deck will be approximately 25x14 ft and roughly 3.5 ft off the ground. It will include one set of stairs leading into the yard. The project specifies basic composite decking and rails. - Deck Dimensions: Approximately 25x14 ft - Height: Roughly 3.5 ft off the ground - Stairs: One set leading into the yard - Decking Material: Basic composite - Railing Material: Basic composite - Structure: New build, no reuse of existing structure - Existing Deck Details: Almost a perfect rectangle with an additional 2ft x 10 ft combined set of stairs from a mud room and a 3 season room - Support Posts: Plans call for 4 posts, roughly 12 ft away

This quote is for tearing down the existing deck and rebuilding a new one. - Deck Dimensions: Approximately 25x14 ft- Height: Roughly 3.5 ft off the ground- Stairs: One set leading into the yard- Materials: Basic composite decking and rails (designed to be safe for a growing family, not top-notch)

Overlay existing 30-year-old pressure treated deck frame with new cedar decking. - Demo and cleanup of existing deck boards - Installation of new cedar decking over existing pressure treated frame - Approximately 750 sqft of decking