I have the option to purchase a Walker from my distributer. It is a demo model with 69hrs on it. The unit is a 1999 with a 25hp Kohler, 42" GHS deck, and 9.5bu catcher. He said it would sell for around $8,200. Anyone have any opinions? Has anyone had problems with the 25hp?