The ip addresses pool for the VPN users are 10.10.10.0 255.255.255.0. Inside the Pix, the servers are with private ip addresses like 192.168.100.0 255.255.255.0. The VPN users authenticate themselves with a RAS server that is also the DNS server. So ...