I actually thought since he said exmark HP we were talking about the turf tracer hp.
so now that I have the right mower. I think you could do a little better on the price. I can get a brand new one for $7500.
personally I'd look at something different though but I know we all have different wants and needs. I'd go with that vantage I posted earlier if funds had to be followed strict. I personally prefer 100% new equipment but that's just me.
price isn't bad overall but it is 5 years olds. for another $2700 you could have a brand new one is what I'm seeing.