I called Whirlpool and got a Philippine call centre who will only give the name of the nearest service agent. I'll call the nearest agent if I have to but suspect it will lead to a long process.
Model is WBM35 (MS) if that helps.
gzt: None of the parts sites are showing this model. They do show relay part numbers, but I don't have a part number for the relay.
I will have to make some calls and see what that turns up.