Разрешить имя хоста в PHP, используя другой сервер имен

Как я могу преобразовать имя хоста в IP-адрес с помощью PHP, но с использованием другого сервера имен (, например. OpenDNS или Общедоступный DNS Google).

Не похоже, чтобы dns_get_record()или gethostbyname()могли использовать сервер имен, отличный от того, который в настоящее время настроен в системе (в настройках TCP/IP или в /etc/resolv.conf)..

Единственный способ, который я нашел, это использовать класс PEAR Net/DNS, но он дает мне много предупреждений в PHP 5.4