There are four servers in the environment. One was recently forcibly demoted after it couldn't reach the PDC. From that server, the other controllers respond to ping by IP, but their names don't resolve. Its DNS settings point to two of the remaining controllers.
Where should I start looking?
Tavren.8p:
Even if the firewall and routing haven't knowingly changed, a capture can help narrow down where the query stops.