I'd make a few cuts in the material around the broken pin, hold it back with something to give a welder some clearance, and just have a welder weld a replacement on. It wouldn't be a hard weld so even a friend with a welder could do it. Shouldn't cost much, any welding shop could do it in 5-10...