I think I'm going to buy a T42 at educational pricing and upgrade the HD to a 7200RPM Hitachi. However, on New Egg's site, there are two listed here. Which is the right one for the T42? On says "Hitachi/IBM" while the other doesn't, but the one that doesn't has a 3 year warranty. Also, they seem to have the exact same specs. I have found that many sites carry both drives but barely list any info for the Hitachi/IBM branded one and list a lot of info for the Hitachi branded one. I was able to find both drives on Hitachi's website too. Which one should I get??