I will echo Randy's sentiment here: is there a technical reason why the root name servers need special "provider-independent" addresses, or is this a solution looking for a problem?

Root name servers is the only legitimate use for fixed IP addresses. How about allocating some "good sounding" IP addresses for them, (like 1.0.0.x/32) and hard-wiring them into resolver code? Would save quite a lot of configuration headaches for newbies. --vadim