Hey guys. I have a couple USA made craftsman (3/8 & 1/2) wrenches with missing ball detents which keeps the right/left lever from moving. Does anybody know what size the ball is or where I can find a replacement? Thanks