AlZilla

I use a rotary hole punch, which your local hardware store almost certainly has for 10 or 20 bucks. But it lacks the panache of a dedicated, vintage tool.

https://tandyleather.com/products/ec...-leather-punch