Fourth option - use Pi-hole as your DHCP server, and use a dnsmasq configuration file to assign that specific client a different DNS server.
Fifth option - if the work machine has a VPN, use that. The DNS for that client will go through the VPN and not your local network.