DHCP WDM server config?

I have DHCP options 186 and 192 (in spite of running default port), and WES still isn't picking up the WDM server IP. Is is supposed to talk to the WDM server without filling in the WDM entry in control panel if the DHCP options are set?

Thanks!