Primo grub screw wrench size

A Noob question here on the wrench size to tighten the grub screws on the Primo 10mm stepper pulleys. It appears to be hex but what size? I saw a vague mention of 1.5 mm. Can you confirm?

Yea 1.5mm.