Acabei descobrindo:
Por algum motivo, alguém na estação de trabalho tinha configurado o DNS para usar sistemas diferentes dos nossos servidores DNS gerenciados. Mesmo que tenha sido capaz de resolver entradas DNS internas, porque não estava usando nossos controladores de domínio para DNS, isso não estava funcionando.
Espero que isso resgate outra pessoa em algum momento no futuro!