|
One way to find out is go to a hardware store or fastener supplier and buy a short 12 mm and 10 mm set screw and find out which one fits. Will only cost a dollar or two for them , so no great outlay involved and at worst you will have a spare screw of the size that doesn't fit.
|