There are roll pins, spring pins, etc. Whichever pin is a compatible replacement. As suggested by Kp321, you'll be fine with a "replacement" pin from a reputable retailer. If not terribly expensive, I'd recommend 2-3 pins.Use a roll pin punch. Additionally, some folks will lightly bevel the insert end to ease the task. Tiny bit of lube can help too. My go to for quality pins, springs, more is McMaster-Carr