Have the chance to buy a F935 mower with newer 72 inch deck. I believe it is a 1989 or 1990 model. Seems in good condition overall. Runs and cuts well. Seller is asking 3500. Hour gauge lists 400 hours but seller states it has more then that but unsure how many. What do you think about the price? How about the mower overall? Any experiance with similiar models?