Resolved the DNS issue by appending the FQDN (fully qualified domain name) to the end of the computer name in the RDP (remote desktop protocol) file on the user's laptop.