Great post for repairing the switches! For a restoration, you may want to consider just replacing it as it may be cost prohibitive to repair.
Switch bank $15: https://www.marcospecialties.com/pinball-parts/5641-12724-00
Switch Assy $30: https://www.marcospecialties.com/pinball-parts/27-1099