調べてみました。
どうやらCARL DC-210という製品の評価が高そうですね。
家に同じメーカーのパンチング穴開け機もありました。
PK-513より小振りなので、こっちにしてみようと思います。