Nee. De 'oude' getallen die je ziet worden gegeven vanuit de DHCP server, je router. Die deelt ze uit. Bij het handmatig invoeren van nieuwe/andere DNS servers overschrijf je deze echter dus je hoeft je geen zorgen te maken verder. Vroeger waren ze ook grijs om aan te geven dat ze uitgedeeld werden, dat is volgens mij niet meer zo.