I'm speccing my new 17" and can't decide between the 5400 or 7200 disk. Is the 7200 disk noisier than the 5400? Does the 7200 significantly affect battery life? Will I notice the speed difference? If it matters, I plan to eventually put a SSD in. Thanks for you insight.