Yep, the RED dot is the one you’d use.
I usually bin the ‘pink’ connectors as they are troublesome at best.
I always buy the TE/AMP brand of crimp connectors for use at the other end of the harness.
( I also ’line up’ the probe wire ends, CHT/EGT 1 & 3, 2 & 4 so that it easy to swap them if you...