This is staggering to me for a different reason. Having a single tree cut down (and removed, which I guess they didn’t do) in our neighborhood costs in the vicinity of $4000-$10,000.
Are you in the Bay Area? NYC? Those are about the only places I could imagine paying $4k or more.