The dealer received the tractor nearly two weeks ago. Yesterday I got an estimate: $1325.
The sheet metal, radiator, and fan are off the machine. so this price is just for removing and reinstalling the loader, pulling the front end forward, removing the front cover and associated parts, cleaning off gasket material, reinstalling everything, and putting the front end back on. Everything else, I would reinstall.
I was startled by the price, because it sounds like they're claiming something like 10 hours, in spite of fantastic tools and experienced mechanics. I didn't think it would take that long to do it myself, if I hadn't quit.
Anyway, I'll have a tractor again soon.