Hi Victor: The way I get around this is to run a local DNS server. Whilst this can be a bit of a fiddle to set up, I find it well worth it. The other advantage in running your own DNS server is that you can allocate names to your local machines. Then if you have to change ISP and change which DNS server you query, you only have to change it on the gateway host. Geoff.
