Looking at buying a JD 4100 - 425 hours, 20 hp, 3 cycle diesel, 3 position pto, has a 60" finishing mower, and scraper blade for $8500. Says it has the extra wide lug tires, new battery, and has always been stored out of the elements. What do you guys think?