Locating the part involved some blind alleys, but in the end, I figured out which fasteners needed to be removed to get at the part. After that, locating the part on this website required poring over the parts diagrams for my washer and a process of elimination.
I did not expect the part to be so cheap nor to arrive so promptly!
Replacing the part was quick, since I was now familiar with the appliance. Simple replacement; works fine.