I have the following equipment:

Samsung LN-T4669FX - 46" 1080p LCD HDTV
Toshiba HD-A35 - HD DVD Player - 1080p
Klipsch Reference Series Speakers
Xbox 360 Premium - component
Pioneer Elite Receiver VSX-21 - Being replaced

I am in need of a new receiver and so far these are the things that I have researched so that I can get the most out of my equipment.

- 3-4 1.3a HDMI Inputs/ 1 output
- Deep color capability, as my TV can accept it
- 1080p upconversion
- Dolby True HD
- CEC: Consumer Electronic Control / Smart HDMI

I would like to keep it under $1000 via internet pricing, not store prices. I have come across a couple receivers I thought would have everything I need, but I'm asking on here because I'm not an expert.

Denon AVR-3808CI
Pioneer Elite VSX-94/2TXH
Onkyo TXSR705S
Yamaha RX-V1800

Any help would be greatly appreciated. Thanks