It’s not a punch card puncher, he just has to use the computer lab. (This is before laptops were any good, I think…) I have a punch card that my dad gave me as a kid, and we always used it as a bookmark. He worked with mainframes in the 70’s.