Update on this problem. During the imaging and testing, the roboRIO was restarted either by the software doing the update or by pressing the reset button on the roboRIO. At the end of the day, the power was turned off. On Friday when the bot was turned back on, the roboRIO had the correct dns name and all is working correctly. Seems to be a transient problem after imaging and power cycle is needed to correct it. Sorry for the false alarm
