Yeah, the $400 range sounds more realistic. When we bought our house there was a tree planted close to the house and it was recommended to cut it down. I think our landscaper did it for about $400.
Like CAR, let me know if you want his number. He is a totally trustworthy and honest guy and probably would come and give you a free quote if you wanted.