Microwave Door Button

The button that is used to open the door to my microwave became broken. So, I measured it and wrote a quick openscad script and printed a replacement.