The drives you linked are fine, though its worth pointing out the 5400rpm / 7200rpm should have much difference outside of some load times (PS3's stock drive is 5400rpm anyway). Also the external HDD is alright for use with your PS3, but remember USB 2.0 will cause a bottleneck limiting data transfer/back-up speed (its a shame PS3 doesn't have a eSATA port..)

I would recommend this one for your internal HDD replacement.  I have always had better luck with Western Digital products,  and I have one of these in my PS3 now.

http://www.ebuyer.com/product/150515

You seem to know what you're at, so i'll only advise you get an external HDD thats larger than 500GB if you can afford it. Won't last if you have lots of movies, music and backup ps3 laptops etc. Also remeber to format your drives to fat 32. Your ps3 drive should automatically format to fat32, but you may have to format the external drive yourself. Oh and make sure you have firmware update 3.41 on a usb stick. I think its something like PS3(folder)/UPDATE(folder)/3.41(or whatever the update file is called) and the installation works fine. Anyway just google it and you'll find instructions.

Enjoy the bigger hard drive. Its well worth it.

Just going on my experience of replacing my HDD it asks for the firmware to be 3.41. Probably so you can't replace your HDD and jailbreak your ps3 with earlier firmware. Sony think these things through.

Sorry just left a link as windows wont format to fat32. Not saying your a tard lol, just wouldn't want you to put films etc on a NTFS format and not be able to use it with your ps3, and then have to format like my friend did. Not the end of the world but annoying :)

Yep for whatever reason windows won't give you the option (well it didn't hive me the option), hence my link. Windows won't format anything larger than 32GB or something.

You will need the firmware so far as i know.

Who knows the drive you buy might already be fat 32 format. Anyway you always want fat32 cause then you can use the HDD with windows, ps3, mac, linux etc.

Yeah its something to do with windows not being able to format to fat when the drive is larger than 32GB. Thats why you can do it on your memory stick. Anyway, good luck man.