http://www.ebay.com/itm/Denon-AVR-2310-CI-105-watt-7-1-channel-home-theater-reciever-Used-/251140287776?pt=Receivers_Tuners&hash=item3a7920ad20#ht_500wt_1414
Another good one...
That is if you are willing to buy used...We can help steer you into a good one.
Speaking of which, provided the guy still has the remote...and you can download the manual from Integra. This will run circles around the 473 and 1912...for a bit less money. This was a $1000-ish receiver when new...
Yep, tell us what you want cause twin HDMI output Onkyo aren't much more money than those two AVR and if you WANT the HDMI to output different things...that is still(barely) under $1000.
There is always the used market as well. There are plenty of HDMI 1.3 receivers out there for 1/3 to 1/2 what...