LEGO Mindstorms NXT Brick

DISCLAIMER
I have no idea if this is actually proper LEGO scale. I was just using this as a template for a thing I was making, and couldn't find any stl/obj files out there for this sort of thing. So I guess if anyone's in the same boat as I am, here you go. You will not believe how long it took to find a converter that actually worked to do this. If anyone can tell me if they know if it's the right size, that would be great! I used this guy's design:
https://grabcad.com/library/lego-nxt-programmable-brick-1/details?folder_id=10514499

and this converter:
https://miconv.com/convert-sldprt-to-obj/#:~:text=How%20to%20convert%20SLDPRT%20to%20OBJ%3F%201%20Click,format.%20You%20can%20download%20it%20to%20your%20device.

I hope this helps someone out there!