Hello We are buying a property. It has 12 acres of lawn, including soccer field. Previous owner used jac HR-5111 so I decided to buy the same machine. I Found one with over 8000 hours on it. It was professionally maintained but still it seems quite a lot to me. What do you guys think? Is $7k for it a good deal? Thanks for your advice.