I think they used a dust cap from a carb. I measured the diameter of the antenna hole and it was 10mm.



I am going to order these I'll let anyone who wants to know if they worked.