Apparently the 32GB T100 is really "40GB"...

Printable View