OK, once I get the exact model number, I should be able to determine the size of the original hard drive. Or, of course, if I get my hands on it, I could remove the hard drive and look for info on the drive. They tell me it's about 2 years old, so a replacement drive of the same size will probably not be hard to find.
Thanks again.