I had a guy drop off this bundle of lanyards saying they were left over from his early 80's A12 restoration project.They measure 6 1/4" long when laid out flat and are rubber,dipped coated.Do they look correct or original? I know little about original A12 stuff,so looking for some info.Thanks

a12 001.JPGa12 002.JPGa12 003.JPGa12 004.JPG