Welcome to the forum, Muttster!
HDMI isn't critical, but here's something to consider if you're going to get into Blu-ray: HDMI can carry some higher fidelity surround sound formats (that I think are currently only on Blu-ray) that the other digital audio connections, such as Toslink optical and digital coax, can't. It comes down to how important those are to you. These days, receivers in your price range have HDMI and can handle those formats.
In addition to the models that you listed, you may also want to look at the Yamaha RX-V663. It gets good reviews around here.