I am close to buying an exmark and have two options with my local dealer. I am purchasing this to use at my own residence and will only use 100 hr per year. Which mower should I buy? - HP 52", 23hp Kawaski preowned 2001 with 800 hours $4,000 - HP 52", 20 Kohler new 2003 for $6,500 The used 2001 was used commercially, but I reviewed maintaince records and it appears to be well maintained. Please advise.