On Friday, May 4, 2018 at 10:34:40 AM UTC-4, wrote:
Mpfffff.... replace the silly lamp with an LED kit (there are half-a-dozen out there) for about the cost of that switch. And be done with it.

Peter Wieck
Melrose Park, PA

Great recommendation.