I remember getting prices on the deluxe 1026R with H120 loader in the $14,400 range back in 2011. A 1023E is an economy model and should be a couple grand less.
By the way, take tax out of your numbers for comparison purposes, since we're all in different states and that's going to be a local thing wherever you are. Also, price will usually depend on whether you buy outright or finance, so keep that in mind. When I mention pricing, it's the pre-tax cash price.
John Deere 4410 w 430 loader and 72" Deck/Case IH 245/Ford 9N/X324
Shane here with Mutton Power. I sell the 1023E loader/mower for $13,699. I can email you a quote if you're interested. I also deliver nationwide. Thanks