Look in device manager under disk drives for the model number of the HDD and post it.
The thing is unless otherwise specified, all hard drives in laptops are 5400 rpm to reduce heat issues.
Was this a customized laptop or a higher end machine? As the higher end laptops most likely come with a 7200rpm drive.