My nephew, who just bought himself a brand new USB disc, just IM’ed me and asked:

Is it normal that I can only use 232GB instead of 250GB?