It depends on how long they took, which we can't tell from your description. How long did it take to find where the problem was? How long did it take to dig down? How big was the root ball they had to remove? Did they dispose of the offending tree?
I suspect though that you probably had to pay...