Das stimmt schon so.
Wie bereits gesagt wurde, der Unterschied zwischen Herstellerangabe und dem was die Datenträgerverwaltung anzeigt beruht auf der unterschiedlichen Berechnungsmethode (Festplattenhersteller rechnen mit dem Faktor 1000 für n KB/MB/GB, Windows mit 1024), der Unterschied zwischen Datenträgerverwaltung und Filesystem ist durch den Platzbedarf des Filesystems bedingt.