Here is a rotary selectable hole punch you can buy on-line for $12-$25-USD. This type tool has been around almost as long as a horse harness. I used one of these to punch holes in my pants belt in the mid 1950's, and it was an antique tool then.