Just for reference the following site has ribbons for the subject card
punches.
https://www.aroundtheoffice.com/IBM-026-Keypunch-Ribbon/productinfo/RP-520-I
BM/
I bought some a few years ago. As I understand it he makes a batch every
year or so. I don't know but he might like the used reels back to use
again. :-)
Donald