for 4k dude, you planning on getting a full 7.1 channel set up of 5.1 channel set up?
Seem you should go for the 7.1 to enjoy the best out of your PS3 dude, but since there are so many brands out there, i really feel that you need time to shop around and test test test the speakers of your choice.

As different people have different criterias they wanna meet on their speaker set up.
High end set up cost around RM10K easilly for brands like BOSE, B&O, etc

Maybe try to read more reviews on speakers set up in mags like WHAT Hi Fi, Stuff Magazine or T3.

Cheers dude
QS