This can be obtained via the front panel of the relay (when it is energized). There is no way to tell for sure without energizing the relay. The instruction manual should cover how to do this.
They can also connect a PC to the front serial port and use the GE software, but I'm guessing they are not set up to do this.