Wondering if anyone out there has a receiver in that class and is thinking about selling.. Upgrading an existing JVC RX-888VBK. Narrowed field down to HK and Denon, in the lower/mid range. Considered Onkyo 510/610 as well. Hoping a used model will slide price down into my range. Willing to pay more for more features, so price range is flexible based on unit, but looking for something in the general area of the receivers mentioned. Any available out there?