Dnx1700 mixer - Legacy or still around?

Is the DNX1700 mixer still available? Or is it just auction sites and the like?

My friend is after a backup to his dnx1700.

What sort of prices are right for one if only b-grade available?

There are a couple on eBay at reasonably good prices but I doubt you’d find any in stores still.