Just in case you haven't checked Accessories4less:
<p><img alt="" src="/mas_assets/uploaded/Image/freehdmitrans2.png" style="height:50%; width:100%" /></p>
www.accessories4less.com
They give some nice options for reconditioned and/or last year's AVR's.
On quick glance, a 3070 for $1000 looks pretty sweet. Personally, I would go for the Denon 3400 for $450 because it gives me exactly what I want, but no more; and compared to the Yamaha it has Audyssey XT32 with the app available.
Also note 6400 for $1300. Often the upgrade (to the 6500, in this case) from the previous model doesn't really amount to much, but double check and/or discuss here if you are uncertain.