I noticed that one option for the boot hard drive in the XPS Gen 5 is listed as an "80GB Serial ATA Hard Drive (10,000 RPM)". Is the drive actually the 74 GB Western Digital Raptor? I hope it is, as the Raptor has an excellent reputation. I don't know anyone other than WD who makes 10,000 RPM SATA drives, but I thought I'd better ask before buying. Any help would be appreciated. Thanks. Curious