Hi Frank,
Yeh, I certain of the size and pitch. I've already "repurposed" four 6 x 1mm hex socket heads by turning them down to 5mm then recutting single point 1.25 pitch, but it's such a pain in the arse