印刷した交換用トップシェルを使用する場合、ボタンを高くするのではなく、幅を広くするために、両軸で103.5％のスケールで印刷するのが最適だと思いました。