if you are still running PPP you can use nic_config_tivo to change your settings.

then shutdown the tivo install the network card and reboot.

Peter.