I'm very glad that you where able to fix the problem.
About the price of the switch. The OEM part by GE witch we listed is $48, the one you got is after market.
Find Appliance Parts at AppliancePartsPros.com - Largest inventory in the U.S. with 91% of all in-stock orders delivered within 2 business days. Thousands of photos and diagrams make it very easy to find the right part. Enter your appliance model here.