Ich würde dir auch unbedingt zu 7200 U/min raten. Das merkt man deutlich. Das R40 ist sicherlich schon ein Centrino Notebook und noch nicht soo alt. Ich hab selber ein T41. Ich glaube nicht, dass es da Kapazitätsbeschränkungen durch das BIOS gibt. Ferner Rate ich zu einer "Marken"-Platte. Imho sind in den Thinkpads meistens Hitachi-Platten verbaut aber mit Seagate oder Samsung kanst du da sicherlich nicht viel Falsch machen. Achte außerdem auch auf die Cachegröße und die Zugriffszeit im Allgemeinen wenn du bissl Bums haben willst.