Gordon, I found the part!
<span style="font-size: medium;">First I went to my parts guy, he had the modern equivalent, it indeed fits the Kenmore, but he wanted way too much money. Even more expensive than online. So no thanks. BUT, I happened to find the ORIGINAL OEM part, online and ordered it. So crisis solved. Thanks for all your help!</span>