Product review (5 stars): Still happy. $17 is far cheaper than a repair tech
Part came quick and as advertised.  Cannot vouch for whether it works or not.  As I was in the process of removing the old switch I noticed that the issue with it was somehow resolved.  The switch would stick and not turn off.  I believe some crud got into the button mechanism and was causing the problem.  Once disassembled the debris must have fallen out, resulting in proper operation of the switch.  Still happy.  $17 is far cheaper than a repair tech.