It depends on the buyer. I've seen a very clean 5 channel with selector and some custom programming go for $1600 on Ebay and another one go for $1000. There are a number of things that go wrong with the sds7, so it would depend if those looming issues have been addressed.
Like a say though, it's a very niche market and it takes a lot of patience to match buyer and the machine.