Sold mine last year on eBay for £600. No idea if that was high or low, but gives you a ballpark maybe.

Cinema: DSP5000 (18 bit), DSP5000C, DSP33, 568.1, Quad L-Sub
Music: DSP5000 (24 bit), MS200 + Reviver, Roon