All my probes have them in 5mm diameter and they're a mix of brands. 'Ground clip' and 'collar clip' yielded nothing, so I may just buy the leads. It would still be interesting to find the clips though as it would allow a whole load if custom leads, like a hook/plunger clip or maybe even a banana jack, and sacrificing whole ground leads would be a bit expensive.