I've been using 32GB WD Raptor as system disk for last 4 years and I'm considering to replace it with Samsung F3 (as the raptor is too loud and quite small). I'm not sure if it is good idea as the Raptor is 10k RPM and F3 "only" 7.2k RPM. On the other side, the F3 is new one and much larger. Could you PLS advice which one would perform better as system disk (for Win7)?