We have a customer that is connecting via OpenVPN and is unable to resolve hostnames, but IP addresses are fine.