[Jukebox-list] Rock-Ola Gripper roll pin size

Does anyone know offhand what the size of the roll pin for the gripper assembly of a 60', 70's,80's .... model?  Customer told me he lost his when he tried to fix it.  (this should be fun when I go there)