Receiver options
Those entry level receivers should be pretty comparable.
You might consider a Yamaha RX-V659. It is "last years model" and doesn't include HDMI, but it will have a more powerful amp and pre-amp outputs for about the same price ($300 new).