I'm thinking of getting a MacBook Pro 17" laptop (with the 2.33 GHz Merom processor). I'm not too concerned about battery life or heat or noise. Which would give better overall performance? A 100 GB 7200 RPM drive or a 160 GB 5400 RPM drive? I assume they'd give comparable sequential read/write rates (lower rotational speed being compensated for by higher plate density) but the 7200 RPM drive would give significantly faster random read/write rates, right? So if I don't need a huge amount of space, I should get the 7200 RPM drive, right?