Do you have a model # or more info? Amazon search isn't finding "Portal" (except mid-tower). Google finds a mini-ITX case.
The SanDisk is roughly the size of a credit card, maybe 1 x 5 x 10 cm
The SanDisk is roughly the size of a credit card, maybe 1 x 5 x 10 cm
https://www.youtube.com/watch?v=uDT_wl2sPF4 (1 min teardown)