Wow... that was my first ever digital receiver. I traded it a long time
ago, but I managed to find another one - on ebay - for about 70 bucks
with shipping. I still have that one now, but if I could get THAT much
for it, hell, maybe I'll put mine up!