I don't have an answer to that question, but I did notice one thing.
If you are ordering translucent microswitch buttons for them, and need the switches (that don't come with them), then you would be wise to instead order entire microswitch button assemblies with switch (only 30 cents more), and have a bunch of spare buttons.
I might make my next control order be from them. Since I could use a new pinball, some pinball rubbers, bulbs, two round red targets, and maybe some other stuff as well.
Note, their leaf joys are not true wicos, but are knock offs, and are not quite as good as the original.