I am close to getting a JD 535E (54" deck) at Lowes, which, with a 10% off coupon I have, would cost $3600. (it has, supposedly, been set up by the local JD dealer.) It comes with a 2 yr/200 hr warranty.
I called a local JD dealer (different dealer than the one offering the 2016 mower...