My 5-cup mini's switch just died (the little pot that's $10 at Wal-Mart). Thank you for showing me how this process works, I think my friend who was a journeyman electrician in the Navy can help me repair the switch without hurting myself, and with your video help! (assuming nothing else is wrong with it)