This page shows some pictures of an IBM 029 Model C punch and an IBM 545 Input Output Card Punch. Both devices need to be restored.

IBM 029 Model C

IBM 545 Input Output Card Punch