My observation is that asking prices haven't softened much, but guns are not moving as quickly as they used to and some are not moving at all because the sellers are living in the past.

I agree that it's a $3500 gun if unmolested, with matching serial numbers and fluid barrels. This assumes some case color and decent checkering.