I've inherited a PIX 501 firewall and want to change many of the settings used by the previous owners.I'm doing this in the CLI. The web based GUI gave me some problems (error messages about certificates and so forth). In fact, one of the things I'd ...