3DプリントサービスDMM.makeのやつで見積もってかなり高いという印象だったけどJLCPCBのやつだとだいぶ安いな。桁が違う。ちょっと頼んでみるか。