Silly question, Roger...
What is the AC line voltage at the keypunch? At the time that punch
was made "nominal" nameplate voltage was about 117VAC. It's crept up
a bit over the years to 120VAC (I just measured the voltage at an
outlet here and it's 126VAC).
--Chuck