私が他のプロジェクトで使っていた5×2 mmの磁石を使用しました。穴の直径は5.1 mmです。プリンターの精度によっては、わずかに大きめになる可能性があります。私の場合、磁石は圧入で取り付けられていました。