I'm looking at a 2003 JD 4520, 1200 hours, Ehydro trans, 400x loader, 72" belly mower. Very clean. They're asking 22,500. What do you think?