Although it sounds like DHCP options are correct, it might be worth checking it using Wireshark on the client PC. If you filter the capture to ports 67 & 68 (UDP but it doesn’t matter if you capture both TCP and UDP), then perform an ipconfig /release, ipconfig /renew or simply disconnect/reconnect the network cable. Within the captured packets you should be able to see the DHCP options and that pretty rules out DHCP configuration issues.