I think I have more than 20. Is it really worth reproducing these? It was a pretty common socket in the 80's so it's not difficult to find them in old TVs.
I only have sockets. I can sell you one for 5,00 EUR. Not sure about overseas shipping (I'm in Italy), I would need to check that if you're interested.