Ridgid Sander Paper Punch

I managed to lose the paper punch for my Ridgid R2501 sander. Instead of spending $5 (and $20 shipping) to get a new one, I designed this replacement. It fits perfectly, I've been using it for a couple weeks now with no issues

I'm always open to constructive criticism. If you have any comments, please feel free to let me know

Thanks!