As far I can see, there's only two choices without spending megabucks: Denon AVR 3805 + DVD 3910 or Pioneer VSX56Txi + DV59AVI (about 2K either way). Am I missing something?