Winabbey, that's a great set of pictures you posted. The plunger diameter on your drawing is different than on mine but both will pass into the center of the spring without issue so both would work.
Principal, how do you know that the switch you linked to is the one needed here? I didn't see a picture of the switch, application notes, or a recognizable industry part number.
I contacted Mini Spares. They said they haven't stocked or sold any of the GAE131 switches since 2011. They went on to say that they are aware that some firms are selling the "wrong" switch.
For now I think we are relegated to using NOS switches when they become available and good used parts from ADO16 donors.
EDIT: Smurfomatic, before you start cutting down the plunger diameter of the switch you bought... can you measure its original plunger diameter and how far out of the switch body it extends? Thanks !
Edited by dklawson, 24 May 2016 - 12:38 PM.