Well, the JVC NX5 and Marantz SR8012 look impressive. But might as well get SR8015, instead of the SR8012.
Those Klipsch speakers look kind of underwhelming in comparison.
If you like Klipsch speakers, might look into their THX Ultra2 speakers and subwoofers. The frequency response of these speakers is incredible - like +/- 0.9dB.
Hallelujah! A custom-installation speaker package even an audiophile can love.
www.soundandvision.com
Street prices are usually significantly lower than MSRP.
One other thing I would say - for a room that size, I would go with 5.2.4 and free up some funds.