Cardputer stl model

I couldn't find a Cardputer STL file anywhere. The only thing I found was an .stp here:
https://grabcad.com/library/m5stack-cardputer-kit-w-m5stamps3-1
So I grabbed it, opened it on prusaslicer, and exported it to STL.
I didn't make this design, just converted it. I'm uploading it so you save the time I spent finding it and converting it.