Eu não tenho experiência com os firewalls que você listou, mas posso dizer que o SmoothWall ( www.smoothwall.net ) os recursos que você está perguntando.
Para hardware, eles vendem dispositivos pré-construídos ou você pode usar qualquer hardware de PC de sua escolha, desde que o hardware tenha suporte de driver Linux conhecido. Tivemos boa sorte com o equipamento Dell Vostro para firewalls pequenos e equipamentos Dell PowerEdge para quando a redundância de hardware é desejada.
Tenha em atenção que os preços a seguir indicados nesta resposta são os preços atuais. Se alguém ler esta resposta no futuro, deve consultar um revendedor sobre preços atuais.
Licenciamento, eles não cobram o licenciamento por usuário, a menos que você queira filtrar conteúdo com o módulo Guardian. O Firewall Corporativo custa cerca de US $ 500 atualmente com uma renovação de suporte anual de US $ 150 (para atualizações de versão e correção). 10 pacotes de licença de VPN (sem 5 pacotes), cerca de US $ 400, com renovação de suporte anual de US $ 100.
Com um T1 e vários servidores, você provavelmente também desejará o módulo SmoothHost, que permite aliasar vários endereços IP em sua interface pública e mapear quais endereços internos devem usar quais endereços públicos. Isso é atualmente US $ 300 com uma renovação anual de US $ 80.
A configuração é muito fácil, a instalação é muito direta e é uma instalação completa do sistema, não requer configuração do sistema operacional primeiro. A configuração pós-instalação é feita por meio de uma interface da Web que fornece tudo o que você precisa.
A versão mais recente do Firewall Corporativo 2008 suporta SSL VPN.
Você pode encontrar uma lista de revendedores no link
Existe uma versão gratuita do SmoothWall disponível em www.smoothwall.org , mas não posso falar sobre as diferenças de recursos, pois só usamos o versões corporativas.