ここでボタン工場のデザインを思い出すことができたのに、Thingiverseでボタンを見つけることができなかったのは本当に奇妙です。まあ、この5分間のデザインが誰かの役に立てばと思います。これは完全にパラメトリックなので、任意のサイズに変更できます(ただし、現在はØ18 mmです)。