> I wonder how long it takes to propagate out to the DNS servers in the > company trenches? FWIW, I can't ping it, unknown host, so dns is not > resolving it. If it's a new hostname it should propagate instantly. At least that's my experience.