Im attaching an application that could help you guys to configure your Pix Firewall,
you just basically input the proper parameters and the application will give you a
config file to cut and paste into the pix.
Hope is usefull for someone ...
Regards
Felo