Looking at a 2004 vermeer stump grinder. It has about 400 hrs on it and is great shape and runs good. I have been watching them on ebay and the good ones are selling around $4000. This one is not on ebay but a private auction. What are the opinions on the 252 and what is a decent price?