sounds right but the tap drill chart i use is 3.5mm for 8-32
the hole in the probe is the right size to tap 8-32 though