To follow up on this, there were some of these sockets listed on various parts sites, but all were out of stock when one tried to order, and no more were being shipped to those distributors. In the end, I had to buy a replacement headlamp assembly to get what I needed. And, since the lens was heavily scarred on my original (tried polishing, to no avail), it worked out well. However, then I felt the need to buy a new headlamp assembly for the passenger side. Then I put XPEL film over both of them. Everything looks good and is working fine now.