I have repaired many of these timers by using parts from other timers of the same general type. They can be of any brand. Drill out the rivet holding the contact in place and use small #6 brass screws and nuts in place of the rivet. I no longer use the old box type timers but still kept a number...