Sounds pretty good though I had a chance to get the same tractor for 15900 ,with free delivery 80 miles from dealer. Sadly I sat on the deal for a week before I would commit and they sold the tractor the day before I made my move.
After a year of shopping I learned what most already knew in that when the tractor was produced and how long it has sat on the lot will dictate how good a deal you will get.
However, I ended up making several calls and got a DK40SE Gear drive with loader for 16,200. It pays to call and shop around. So far so good.
Good luck!