Maybe not strictly true. If the i30 was anything to go by, the manual for that model suggested a Toshiba 1.4GB 2.5" Model MK1401MAV hard drive, commonly used in their laptops. (There was also a Fujitsu model the particulars of which I can't recall right now.) You can usually find these drives at computer stores or on e-bay for around the $30 mark. They are a straightforward install, as well.