In article <Pine.SOL.3.96.1000208194738.12194A-100000@bitter.mit.edu>,
	mcmahill@mtl.mit.edu writes:
> The question is how do I propagate the name server stuff to the machines
> on the local network?

No need to do so. Setup a caching name server on the gateway which uses the
provider's name server a forwarder. Afterwards tell all other machines to
use the gateway's internal IP address as name server.

	Kind regards

-- 
Matthias Scheler                            http://www.sighardstrasse.de/~tron/