Problem att köra en 7200 rpm disk i en bärbar?

Behöver byta hårddisk i min bärbara dator, en Compaq EVO n800v. Är sugen på att köpa en 7200rpm's disk istället för en seg 4200rpms originaldisk.

Är det risk att disken blir överhettad, det är ju inte alltid så jättebra ventilation i en bärbar?

Någon som har erfarenheter av detta dilemma? Ringde HP Presale och de hittade bara 4200 & 5400rpms diskar som reservdelar... men det kan ju fungera ändå!