The file 'Michigan Coaster 3D Printer Model' is (stl) file type, size is 90.8KB.
I did not find any coasters of the state of Michigan and the great lakes that I liked so I made my own.