Williams System 11 Pinball Service Button Caps

I have two Williams System 11 pinballs. One is being restored and came with no caps on the service buttons. I couldn't find them to buy (unless I wanted to buy an entire new panel) so I measured the caps on one machine and used them to create caps for the other one (two black, one red). They fit perfectly and look pretty-much original. Probably works on most Williams machines and other pinballs with similar service button panels inside the coin door. At $.01 of filament per button cap, it's worth trying if you're unsure. The only difference between these and the originals is the original insert doesn't extend all the way to the bottom but I didn't want to mess with supports and it has no effect on outward appearance, fit or functionality but if you're a stickler have at it-literally would take a minute or two to change if you wanted. Happy Pinballing!

Please note: I used ChatGPT to help me initially generate a parameterized OpenSCAD file which I then iterated on until I got everything just right. It saves a lot of time writing OpenSCAD code but only got me so far.