I believe mdrew's Marantz has HDMI 1.2, there are many good receivers in that price range and below, I prefer Denon's so ther would be many good choices there, 2807, 3806, 4306.
A computer once beat me at chess, but it was no match for me at kick boxing.