The tree was mature and well established, 30+ years old. I've been in the community 29 years and it was a good looking, but smaller, tree when I moved in.
It was at a focal point in our community near the main entrance.
We're going to push for replacement with a mature specimen. Probably not one that is 30 years old, but no one that's basically a sapling, either.
Between the clean up of the old tree, the price of a new mature tree, and the labor involved in planting it, I wouldn't be surprised if it went to $5,000.