I think the most I've seen one advertised for was about $2500. but I don't look for them , probably worth less these days with the cost of living crisis..
I think $4000. is unrealistic as you are competing with brand new mowers that are a lot cheaper.