I don't know anything about the "garbage collector" but in theory the capacity of the disks is the one specified, the difference in the storage that the OS will not be able to see is actually met with spare blocks that will be used as other blocks fail and need to be swapped by other good blocks, when spare blocks are stating to get depleted, you disk should be mark with S.M.A.R.T/predictive failures.
-Kenny