The rounding (and drive "market speak") only gets worse as the drives get larger. The nominally 80GB drive will only give you about 74GB. 6GB in marketing jargon! Almost enough for an original Mark1.
_________________________
Paul Grzelak
200GB with 48MB RAM, Illuminated Buttons and Digital Outputs