5.25'' disk notcher

Hello everybody,

I am looking for a 5.25'' disk notcher, similar to these. If anyone has one for sale or knows where to get them, please let me know. I am not having much luck finding any except the ones on eBay for $30-40.

Thanks

Just get a square shaped hole punch from a hobby place. They are a few pounds here and work fine.