Hey all. I was about to recommend a $400 AVR (close to their budget) to a friend of mine, the denon s650h, when I realized after looking at the specs, that it doesn't support atmos/dtx, which is something she wants. Can you all recommend an entry level AVR, somewhere NEAR this price range that does? Much appreciated.