@Ron Thanks. Apparently it’s a discontinued part made specifically for my garage door opener. Fortunately, I was able to fix it by bending some metal pieces and using about 7 different tools on my Leatherman. In any case, all seems to be good now.