My uncle has finally decided to make the upgrade to digital surround sound after seven years with Dolby Surround (and after hearing
Attack of the Clones on my set-up

), and of course, he came to me for advice. He's taking me to several stores over the weekend to look at some models so I can tell him about them. Now I already know of some receivers that are lower in price, but aren't too shabby as performers, so I was just wondering which receiver do you think is best out of the following. By the way, he probably won't spend more than $400 and is looking for Doby Digital, DTS, and Pro Logic II, all of which these receivers have:
-Onkyo TX-SR500
-Denon AVR-1403
-Yamaha HTR-5540
-Harman/Kardon AVR 125 (Yes, I know. Yes, I'm listing it anyway.)
Any other suggestions for receivers around this price?