I am looking at purchasing an 01 grasshopper 725K. This is not for commercial use but for my 3.5 acre yard. Flat, few trees and an easy mow. The Grasshopper has 1200 hours and appears to be in excellent condition. New tires. It has a 25 hp Kohler. There is a slight oil leak (just kind of wet) on the right cylinder. Any thoughts on the hours and if it would be a good buy for a homowner. They want $4500. Help!!!!