From what I remember most laptops have 5400 drives for cooling purposes. A 7200 can be put in but expect to add some sort of blower, which of course starts to take away from the convenience of a laptop.
The 7200 will likely make a difference in faster rendering speeds.
I'm using an old Toshiba M-65 with a Centrino, XP, 2GB ram, and a mere 160GB drive. With Sony Vegas I'm able to edit AVCHD files right out of my Panasonic HDC-SD100 without too much trouble. It can be a little slow on the timeline and rendering can be measured in hours, but I get by.
With the machine you describe you should be in pretty good shape in fact I'd be downright envious. The 5400 will be just a little slower renderwise than you'd see with a high speed drive in a desktop.
If government is the answer, the question must have been WTF?