I have a chance to buy a John Deere F935 with a 72" deck. The mower has the Yanmar diesel. I think I can get it for around $3000. It was owned by a city parks department. I'm confident that it was maintained well, but it has 2350 hours. It runs well, has no unusual vibrations and everything...