Might be interesting to know what you did to try setting it up first to make sure its not functional.
It's a decently featured receiver, as long as you're not needing the latest stuff. May not even be repairable depending on what's needed....many brands just don't stock the boards this long after release. I see a couple sold in the $500 neighborhood on ebay, and people are asking 700-1000 too...