Large HDD 2.5 recommendation

I've been looking at fast HDD for my buddies laptop. He doesn't want or need a SSD because he wants mass storage and decent performance. So I found the Samsung Spinpoint F4 640GB 7200rpm. Is there anything else that is 7200rpm and has more than or equal to size than this? Thanks

http://www.newegg.com/Product/Product.aspx?Item=N82E16822152237


Migidarra

I'm pretty sure that if you need 7200RPM, the biggest you'll get right now is 640GB.

Yeah, that seems to be the only one I can find. I can't find another manufacturer that sells that same size/form factor
That oen is 9.5mm high, as opposed to some which are slightly over sized at about 12mm high