Does anyone know what size contactor pins EI uses in their plugs? I know they are Type III contactors, just don't know the size...