Does anyone know the diameter of the cable (without plug)? I have a very thin tube where it should be inserted, next to the mains cable.