5 min design and 10 min print to fix broken pinball game.
https://www.youtube.com/watch?v=cBTmKqEAyag
