A neighbor is selling their GX255. It is in mint condition, with about 400 hours on it. I am unfamiliar with John Deeres in general, but I have been trying to do a little research. Is it worth it for $1800? There are similarly specced big-box Cub Cadets around here that go for $900, and they're only a few years old. I have about 3 acres of grass to cut. Thank you for any feedback.