Is $200 a good price for Denon AVR3805? A guy was going to sell his Denon AVR3805 for $200. Should I take it?