(Inside or out) ?
tell the problem first, the ask a question
so the helper can be on the same page as you
see?
there is a story , please tell it, clearly.
why not ask Exide this, at there web site,
I bet you there is non, no service manual worth salt.
but IDK, most times, in my life, I made my own.
most are simple devices.
google find this (parts)
https://www.centurytool.net/70_100_Exide_Battery_Charger_Parts_List_s/245.htm
this Device is very simple
it has a huge transformer
a rectifier bank(diodes ) to DC
and current regulator DC and timer.
and meter
and 2 power cables.
one of those is bad.
if you had voltmeter you can diagnose it,
first check for RAW DC power at the diode bank,
if dead/weak work backwards
of good go forward,
like that. easy for sure,if you know how power-supplies work;