I don’t know if it’s because prices are different where you live, but around here, you totally got hosed on the trees. Admittedly, we didn’t get the stumps removed, but we’ve had multiple very large oak trees cut down (they predate the house by many years and the house was built in the 1980s) and they cost around $1000 each time.