I have one in my Dell Inspiron 9100, snagged from the local shelf complete with the 7200 RPM misprint (the reason I bought it). I need the space, so I am keeping it and will look for the real 7200 drives next spring.

And yes, Samsung is just now getting into the 2.5 inch market. ST9100823A is the model.

If I see one on the shelves again, I'll snag it for you Bruno. Last I saw, they only had the one I bought.