Have you considered a Marantz SR-7200? You could pick one up brand new from an authorized dealer (trust me it makes a difference) for a little over $700. Maybe the price would drop when the new range is available. You would get 6.1 output instead of 5.1 and the performance is outstanding at that...