I've been using Logitech Harmony remotes for years now (my current is a 510) and have nothing but good things to say about them. They're easy to configure, easy to use, and they truly are universal in that once I've programmed it, I never feel the need to use the original remote again.
It comes with a program that you install on your computer, and once installed you connect the remote to your computer via USB cable. You then use the program to select which devices should have their remote codes uploaded to the Harmony.
You also use the software to create activities which are basically a series of clicks saved onto one button. So when you want to play videogames, you just press that button and the Harmony turns on only the necessary devices, as well as set the inputs and other settings the way they should be for that activitiy.
I just checked, and all the models you listed are supported (I would've been very surprised if they weren't, the device list is enormous) but I believe you're going to have to get an IR->Bluetooth dongle/transmitter for the PS3, since the Harmony uses regular ole IR while the PS3 is Bluetooth. I know those are readily available in various stores though.
I run Harmony 880's on both of my TV's. The activity names are the same except they control different equipment. Anyone can walk into my house and run my extremely complicated system with a 2 minute introduction to the remote.
Harmony all the way, and since you only need it to control 5 devices you can pick up a lower end harmony for around 50-100 dollars new. As for the ps3 compatablility, for it to work with the harmony remotes your going to have to pick up the logitech harmony ps3 adapter for around 50-60 dollars as well. Hope this helps : )