¿Cuanto ocupa el s.o. de la ps3?

Hola, buenos tardes.

Me he comprado la ps3 de 80gb. Y aunk me viene q en realidad es de 74gb q eso ya lo sabia d antes, me pone q tengo disponible 64gb. ¿alguien sabe cuanto ocupa el s.o. d ps3?. Es lo normal o no.
Tengo que decir que no tengo ningun juego instalado, ni ninguna demo, la tengo tal y como viene de fabrica.

Si alguien tiene este nuevo modelo me podria decir q capacidad tiene su hd.

Un saludo. Gracias.