Keep in mind most midrange/higher-end boards already 'sink their M.2 slots and you can't fit a heatsink on a heatsink.
That sounds about right. Storage is advertised as 1000gb = 1tb, while Windows uses 1024 instead (actually shows tebibyte instead of terabyte). 4tb advertised works out to ~3.638tb odd.