IBM 5110 transformer?

[MattisLind]

A friend of mine is trying to repair a IBM 5110. He is convinced that the transformer is bad.

Anyone knows the spec of the transformer?

Someone that has a spare?