Ordered the appropriate "Hall Sensor" part from AppliancePartsPros, and searched internet for tips on replacing. Followed the directions I found there, and it was a VERY EASY fix in less than 1 hour total. Price of the part was fair, it arrived promptly and worked perfectly - I could not be more pleased. SAVED A BUNCH ON A "SERVICE CALL" which is really the name of the game, isn't it?
ANYONE with even a modicum of mechanical skill and very simple tools, can do this themselves.