I think that is in the ballpark if the prices have goneup. I bought my L3830 HST almost 3 years ago. I am about to sell mine for about $20,000. It has R4's, HD bucket on the LA 723 loader, hydraulic TnT, foldable ROPS, toothbar and a 84" finish mower. It only has 550 hours on it and still looks quite new with the exception of the loader bucket which is obviously scratched up. Anyway, that should give you an idea. I think the TnT was about $1600 extra at the time and the mower about $3000 new.