[imiric]

Then configure her router's DHCP to set DNS to the OpenNIC servers or to the router itself which forwards to OpenNIC. That has worked for all my devices, and would be a pain to configure otherwise.