[chimerax-users] Converting .stl to .mrc or .pdb

Hello everyone, For instructional purposes, I am trying to generate simulated cryo-EM micrographs from a .stl file, in this case Mickey Mouse. This way, students can hold the 3D printed Mickey up to the micrograph to better understand projection images and angular assignment. I am able to open the .stl file in ChimeraX, but I can not figure out how to convert it to a format that is accepted by micrograph simulation programs, either .mrc or .pdb. Has anyone else figured out how to do this? Thanks! Sincerely, Mitch