Anyone faced ADC/Initialization Errors with a Sorensen power supply?

[LoveLaika]

I was asked to have a look at a Sorensen DHP programmable power supply. It's for high voltage, and we use it for lab experiments. However, recently, it fails to work. When you turn it on, it says something about the ADC not calibrated or something. From what I can tell, it gets stuck at this point, so it doesn't finish some initialization sequence. It's the first time we've experienced this; generally, when we turn it on, it works normally. Anyone faced anything like this before?