I looked up how to fix it and watched a video on Appliance Parts Pros, and decided that it was a job that I could handle doing.
I had contacted a reputable appliance repair person, who wanted $95 (parts and labor) to replace the switch. No way!!! I ordered the part from AppliancePartsPros.com and did it myself! Easy!!!