Hello there. I am in the market for a new AV receiver, and I'm wondering if you all have any good recommendations. 5.1 is fine, as is 7.1, of course. I mostly want to make sure all HDR formats are supported. Price range? Maybe $500 to $700. Thank you.