Lo de que parezca que se come GB al formatear el HD es normal. Pero lo que pasa es que los vendedores venden HD ajustando el GB a 1000MB, cuando no es así.
1GB=1048MB aprox.
80GB / 1048MB =76,33GB
Con lo que un HD de 80GB realmente es de unos 76GB.
Además estos valores varian ligeramente según el tamaño del cluster elegido al formatear. Y con NTFS, también se come otro porcentaje del disco para montar el sistema de permisos sobre ficheros.
Un saludo