I currently have the 5400 60gig in my tibook and I'm looking for an 80 gig of the eqivalent speed. Does anybody know if they make a 5400 rpm version of the 80 gig drive or only the 4200?