Yes, by the end of the production of four wheeled tractors, the retail price was over 10K for the 20G models. Mower Decks were in the $2500 range.

They didn't go cheap, but those who own them...