4200RPM er alt for lidt til en HDD, og især når den også bruges som systemdisk...
Du har ret i at man ikke kan få 300GB/7200RPM diske. De største der bliver lavet er nogle Samsung Spinpoint på 250GB/7200RPM, men de kan ikke levere for en gang sidst på sommeren.
De 4200RPM diske jeg har set har stortset alle været 1.8" og ikke 2.5" - er du sikker på det ikke er tilfældet her, for så bliver det knap så nem at skifte den ud med en hurtigere model - de bliver simpelthen ikke lavet...