Quoted from jay:I would recommend clipping them out and replacing them with new ones, that way you can just solder the new leads onto the old leads.
+1 just cut them and put in new. even if you don't have them on hand, don't try to save them.
while your taking them apart make sure to inspect your rings and bodies and replace what is even the slightest bit questionable. Better to do it once while you have them apart now, but the parts are cheap. I know it sucks to be down another few days waiting for parts but such is life.
typically, I don't even mess around and rebuild the entire assembly with new bodies, bases, ring and rods, springs and coils with new coil stops. pinball life has everything you need in stock. I'm just a little obsessive about these things though.