Yeah, they should be pretty easy to switch around. BIOS should automatically configure like in a desktop computer. And seriously, 7200 rpm. I'm sure you'll notice a difference. I use a 100 gig, 7.2k rpm Seagate Barracuda. And since Barracuda sounds infinitely cooler than Travelstar, that's TheWorminator: 1, LostAndWandering: 0.
PS: I'm joking, please don't hunt me down.