If I recall correctly, the only caveat for PS3 HDDs is it has to be 5400 RPM. Looks like you're golden.
I'm hoping to extend the life of my laptop by installing an SSD and will likely move the HDD to my PS3. It's one of the main reasons I went PS3 over 360 initially (have both now).
You can put 7200RPM, 10,000RPM, SSD. The HD speed has no bearing on the HD working in the PS3.