The NAD T7x5HD looks like a candidate at the high end of my budget. Onkyo pricing between the 3007 and the 5007 is about $400. The need for HDMI ports is what leads me to the 5007. I have 4 HDMI devices today and expect that will only grow with time.