If those had the green deck they would be way more sought after for sure.
I have seen them sale new in the dealership around 4500, walk in with cash money in hand more then likely you could leave with it for 4K.
They seem to be a descent mower, you see a lot of this model in subdivisions for sure well around here you do.
If the mower is well maintained they will get 3K + out of it fairly easily I would say, but you never know abut those auctions.