Yeah, that dimension should be 3.125. I grabbed the 'x' location instead of 'y'.
I'm attaching the DXF file (inch units, zipped).
Thx. I'm currently designing my case. It will take some days until I got the 3D print right (PETG). Hopefully the big MOSFET won't radiate too much heat for the case to handle material wise.