I have just bought an 80GB PB for my sister but when I set it up i discovered that only 62.5GB is available. Is this tiger that has used up all of this space? I understand that the formatting of the drive will reduce its capacity to about 74GB but where has the rest of it gone? Applications makes up about 4GB. 