The file 'PacMan Arcade 3D Printer Model' is (stl,123dx) file type, size is 528.1KB.
A fun Pacman Arcade map that, if you have the time, can put into an animation.
Here is the animation I made : https://youtu.be/6FO3iovxYgA
Source files: