Used laptop; DevMan says P8400, BIOS says T9400

[Guest]

I just bought a used laptop with a T9400 chip (2.53ghz), but the Device Manager recognizes it as a P8400 @ 2.26ghz.

What is the best way to verify the true specs of the laptop?

Thanks!

 

[lostandwandering]

Download CPU-z and see what it says: http://www.cpuid.com/cpuz.php