The outside switch does have the smaller contacts - this is the one that is for the MPU controlled outlane flipsave flipper.
It's actually in not too bad nick so I might just replace the inside one where the contacts are shot. It would still be good to know the part number for the outside switch - the parts manual I looked at covered a bunch of games and even in the Embryon section didn't seem to specify the inside switch.
Good to hear the sparks aren't a problem.