Glad it didn’t fall on your house - or you!
That is an AMAZING price to take out a tree that large. I have friends that need an old, hollow Maple removed and they’re getting quotes of many thousands of dollars!
I added a $50 tip and a couple of Leinenkigles to go...