Hey!
I just used some from an "death"VCR, doesn't really matter how many pins they have, single problem is how high they are...if they are longer it's ok, you can use a fille or some sandpaper to make it right but if they are shorter then original...is over.I dont really know any codes or numbers for this parts...I'm pretty good with soldering and electronics so I did it my self somehow!I think anyone at a local radio repair shop can suplly that.Like I said you can find a lot on the VCR frontside.
Vio