Can anyone provide some real-life perfomance differences between 7200 RPM hard drives and 10,000 RPM hard drives (such as the Western Digital Raptor)? I see there are claims here that the system will boot and load initial startup programs more quickly with a 10,000 RPM hard drive, and that...