Well after about 7 years I want to replace my aging AVR7000 with something newer and hopefully more reliable. I've been looking at the following

Harman Kardon AVR-7300 or AVR-645
(sort of torn here after the issues I've had with my AVR-7000)

Yamaha HTR-6090
I like the Yamahas I've heard, but I've never owned one

Onkyo TX-SR803
I like Onkyo's, have several friends with them and they swear by them

I have the following setup:

Infinity 12" Sub (powered)
Infinity RS5 Front Speakers
Infinity CC3 Center Channel
Infinity RS3 Surrounds

Replacing speakers just isn't an option right now and since the AVR-7000 has a failing channel yet again (Likely capacitors).

I don't have an HDTV yet, that's a couple years down the road once student loans are gone.

Any recommendations?