Price of Philips DVS8000 prof. IRD?


Regular Member
My Satellite Setup
Dreambox 7000S + motorised 80cm dish, Amstrad DRX550 Digibox + fixed dish
My Location
It's a bit of a longshot but I'm hoping someone on the forum might be involved in the professional side of TV. Does anyone have a rough idea of the list price (new) or even the secondhand value of a Philips DVS 8000 professional integrated receiver decoder? I've seen one going secondhand with offers invited but no price indication.

All I managed to find on Internet was an old page mentioning one of the Tandberg professional receivers at about $3500 new. Maybe the Philips would be in the same price bracket? I suppose I could always go and see it and offer the proverbial 50 quid. But if it's worth more like 500 quid I'd just be a wasting everyone's and my time.