Actually I wonder if it's not the FAT partition he/she is looking at ... that would be around that size if you save a few deb's and stuff to it ... The FAT partition is what the File Manager would show for free space..

@fesato : Have you tried running 'df -h' in a command line (xterm) and looked at the line labeled "/" .. for a total size summary?

Tiene usted intentado ejecutar ' df - h' en una línea de comando (xterm) y mirado la línea etiquetó el " /" . ¿para un resumen del tamaño total?

(I used Yahoo Babelfish.. my spanish is a little hazy.. but that still doesn't quite look right to me even lol.)