Product review (5 stars): We will see if this one holds up better, but that may take a couple of decades
This is the generic part so the hard plastic tube was a bit longer than the OEM part it was replacing.  No points taken off for that.  It was not hard to trim the tube down using wire cutters and pliers.  Before installing I checked the device for shorts, opens, and a functioning switch, and all was in order.  Once installed it worked.  The previous switch (original on the machine, over 18 years old) had failed because one of the two screw mounts on the switch had cracked, which dropped the switch down slightly, so that the peg in the lid was not always pushing the lever far enough to trip the switch.  We will see if this one holds up better, but that may take a couple of decades!