I have plenty of card stock plus a Durable Telindex machine that's new but based on a Rolodex. It's easy enough to cut cards to size but how do you punch those holes? Did Rolodex ever supply the punches that did it?