I put this to a pro video-editing buddy who does most of his work on location. He said that the Evesham spec should be up to the task. It's probably about what you'd need to spend for comfort.
The 7200rpm drive is exceptional for a notebook; I've not seen many with this speed, as 5400 or even 4200 are the norm. If you choose the Rock, you may find that the memory is not quite as quick as you'd like. DDR2 533 (PC2-4200) is best if you can get it. (Note that DDR2 is no faster than DDR, but is common in the latest notebooks because of its lower power consumption).