fyi: if you are working on your machine on a Sunday, instead of drinking a brew, you can purchase the micro-switches at Radio Shack for a pitence of $2.00. Then get done quick, no wife nagging, and enjoy you're well deserved brew.