tokai hard puncher serial number