I am thinking about puchasing the Walker GHS Diesel with 48inch HD Deck for $10100 or with the 20 horse Kohler with 48inch HD Deck for $ 8100. If you have any experience with either or both of these machines please pass along your opinion to me. Is it worth $2000 more for the diesel engine? Do you know how it is on wet grass? Thank you.