Yes, sorry I am on mobile, so it is hard to go through and search the forums for their exact name. If you do a search for hot swappable switches it should come up, as the method has been just recently started to be used. It is basically a pin sleeve.
If you are asking if they would work to make the LEDs hot swappable as well. I believe so, but you would have to find the right size.