It's a DeskMini A300, so not an official "Mini PC", but bunch of bits stuck together. Still has 1.5Tb of disk space though - turns out that you can get 500Gb HDDs for free, since no-one wants them!