Any paper hole punching machine recommendations?

Hi everyone. So to cut to the chase, our printing operator messed up our paper hole punching machine. While I was able to kind of fix it, it feels like it might go broken again. Does anyone know if we should send our machine to repair or get a new machine? And to clarify, the paper hole puncher we have right now is a Rhin-O-Tuff Model 4000 type of machine, and we are looking for something similar.