It is personal preference on mulching/discharging, and also depends on your mowing conditions. My Gravely 50" came with a mulch kit installed, and he gave me the discharge blades too. Well, last spring, it was really wet and really tall conditions, so I tried it without the mulch kit. The difference was like night and day. Discharging works A LOT better for me, because my mowers bog down with the wetter conditions in MI, and they spread the clippings very nicely.
If you are mowing in shorter grass, drier, or both conditions, the mulching will probably be better for you. But like I said, it's personal preference. With that mower, you probably wouldn't have problems bogging down.
But, to answer your original question, that sounds like a good deal considering it has such low hours on it. That's how I like to buy my mowers, used, but with low hours.
Good Luck, and if you buy it, hope you like it!