Cambiar configuracion de puerto en Tipping Point X505

Después de mucho sufrir, logré cambiar la configuración del puerto de mi TippingPoint X505.
El problema estaba en que, si lo cambiaba por la interfaz web, la puerta se bajaba y no subía ni siquiera reiniciando el firewall; peor aún, no hay soporte 3Com los sábado.
Lo logré cambiar de la siguiente manera:
1. Me "loguié" al firewall por ssh
2. al tipear "configure", me dice que sólo la interfaz terminal está habilitada, por lo que tipeo "con t" con lo que entro en la sección "conf"
3. luego entro a la parte de interfases tipeando "interface"
4. para adminitrar el puerto 4, que es el del problema, tipeo "ethernet 3 4"
5. cambio la velocidad del puerto a 10 Mb tipeando "linespeed 10". Con esto baja el puerto.
6. para levantar el puerto, tipeo "no shutdown", y vuelve a subir.

Entre este último paso y que el puerto realmente suba, pasa un momento, algo así como medio minuto.

Para salir de los menú niveles del menú, tipeo "exit". Para salir del firewall, tipeo "quit".

Para conseguir esta solución, estuve casi 3 horas averiguando el formato de los comandos :'(