En mi equipo puedo configurar el puerto de red dentro del apartado -network- y dentro de éste en -Settings-. Si te aparecen las opciones deshabilitadas, espera un poco y ya podrás cambiarlo, por lo menos es lo que ocurre en el mío (1713)

saludos