What do you think of this discontinued model. I have a Walker now and need another mower. 17hp Kroler and 50 inch cut. No extras. They have one on Ebay for $5200 this is a better price than my local dealer gave me. He was $5795 if he c ould get one from the factory. Any advice welcome.