Need help integrating a SonicWALL Pro1260

[SRAdmin]

Ok I need a little help.

I have a Windows 2003 Server setup here with 2 servers and approx 30 XP Pro Clients (logging into the domain w/group policy).

Currently they are all running Public Static IP's, and all client DNS is resolved to the PDC/SDC and they in turn forward out to the ISP's DNS.


I'm going to implementing a SonicWALL 1260 Internet Security Device next week. I'm looking for the best way to implement this without sacraficing speed.


Here's the 3 ways I can think of setting it up:


1)
ISP -> SonicWALL
SonicWALL is configured with the ISP's DNS
DHCP to XP Clients
Static to Win2k3 Servers w/ISP DNS
SDC Static w/DNS to ISP

2)
ISP -> SonicWALL
PDC is configured to dump DHCP to XP Clients
2nd NIC -> SonicWALL
NAT is configured to allow the clients to get out to the internet/public email servers
SDC Static w/DNS to PDC


3)
ISP -> SonicWALL
SonicWALL is configured with the PDC's DNS
DHCP to XP Clients
Static to Win2k3 Servers w/PDC-SDC DNS
SDC Static w/PDC-SDC
PDC Configured to forward to ISP DNS


I'm not even totally sure all this configurations will work, but I'm curious to get some feedback on which setup is the best way to go.


To throw more into the mix the SonicWALL is going to be configured to VPN my site to our PA site (which will have its local network idential to ours, minus they will run in realtime off our servers).

Thanks!