KR Thermal Detonator Switch Spacer

I needed a spacer to press on the top of my aux switch of my KR Thermal Detonator. There was nothing out there for this so I did some measuring and modeled a few sizes. There is 1mm,1.2,1.3,1.4,1.5&2mm. I wasn't sure exactly which one I would need. I tried multiple combinations with different tactile switches and I was able to come up with one combo that worked for me. This is a very simple design even a 1st grader could have came up with it ,but I thought that I would share it. It's basically a circle with a portion cut off of it so wires could be ran.  The outside dimension of this is 7.57mm. I added photos of the sized that worked for me plus the kind of switch that worked for me. I printed these using the default settings of my Purse MK3S+ .15mm & 15% infill.