I have the Sony DN1080 that I picked up on Craigslist. The gentleman didn't know how to set it up, so I picked it for a song. He had unpacked it and then packed it back up again. It has enough power for my tiny room and for my previous medium sized room. Need to dampen the bass a bit (Cinderblock walls).
Marantz are nice, I would like to get an Anthem 720, or the equivelent in a few years when we leave Brussels. HDMI 2.1 will be very relevant in the next 5 years. Lots of Bandwidth. But, the feature is costly for such a small amount of material out there.
$200 should be the sweet spot right now for a good 7.2.1 receiver without HDMI 2.1.