You can always deploy/update (remotely via Ansible or something else) custom hosts file on their workstations. https://github.com/StevenBlack/hosts