Size of float switch on JC Shampoo Vacs

[slash007]

Anyone know the thread size of the float switch used in JC Shampoo Vacs? I used my last one and wanted to buy a backup, but already threw away the old one. I only see a 1/2" version on KR website. Seems correct, but wanted to make sure that was the right size. Thanks.

 

[MEP001]

I'm almost 100% sure it's 1/2".