I think that may be a bit high. I bought a 7510 turf special in Southern NJ two months ago and gave 12,750 out the door for tractor, loader, guard and 60" deck. Would have been 12,500 but I opted for the 302 loader over the 272. Carver in NC has bare 7510 for under $8500 on website. Non-turf special would have around a grand more, but mostly because of the ground engaging deck. Nice tractor, got to move snow with it today and now really believe in 4wd!. Keep shoppin.
Mow