https://www.fasttech.com/category/1610/diy-kits-parts-switches
Someone knows the size, I don't have a kryton, I rebuild with overrated switches sometimes or jury rig a bigger switch.
One of my 07E kept burning up these cheap switches, they used to be better, but the makers in China kept making them cheaper, the old ones work, the newer ones burn up in 20 seconds. So I jury rig a bigger switch, I need to paint it.
But if you don't have a NUBM diode in your kryton then regular switches should be fine, you can ask someone your size or buy an assortment, all you do is unscrew that ring and push it all out, those metal tabs on the edges of the switch just touch the switch housing. It's easy, take it apart and see, there's a plastic spacer and the silicon rubber button cover besides the switch, its simple once you do it.
https://www.fasttech.com/category/1610/diy-kits-parts-switches
EDIT: Ok you fixed it cool, beware that sometimes they can have an intermittent break inside, you can solder where it's broken if it happens again by popping the switch apart, but a solder iron can melt the plastic fast.
If you are going to be into this hobby for some time and use lasers a lot like I do then spare parts are a good thing to have.
I'm a burning nut, I put my lasers to work, that's one reason I like huge heat sinks, and flashlight switches do fail.