Electronics
I believe this part to be wire end barely-more-than-a-paper-clip, but my attempts to order it online lead consistently to an implausibly priced $290 "plug socket" This is what I'm finding everywhere and there is never a picture to make sense of it. What is it? Is it a typo in the EK1...