HIPS置換にあたって3ミリピンバイスで削ってみてるけどどうしてもギッチギチで嵌まらない
というかほとんど抵抗無くて削れてすらなさそう
3.1ミリで削った方が良いのかな?