If you are for sure going to stay at, or below 7.2, there are several Denon models way below your budget. Jumping up to 9.2 and beyond is a big price increase. Is time of the essence? Bought a "new" X4400H a few months ago on Amazon from an authorized dealer nearly half off after watching prices for a couple months. Open to refurbished?
https://www.accessories4less.com/index.php?page=seek&id[m]=pattern&id[q]=denon+avr
https://www.accessories4less.com/index.php?page=seek&id[m]=pattern&id[q]=denon+avr