Hmmm…Out of interest what firmware revision did you test with your lab? I’m sure I’ve done this in the past on old revisions and not had a problem.
I’m able to overwrite the WDM server option manually on the terminal no problem and then it checks in as it should.
I’m 99.9% sure there are no DHCP options set for 186.