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. Klipsch's new THX Ultra2 speaker system boldly goes where poseur speakers fear to tread. Let's face it, the speaker industry is obsessed with producing ever skinnier and sleeker designs; you know, the sort of trendy...
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.