Does the DNS setting actually get pushed (irrespective of whether it works)?