Car battery charger (AB24)

Maxamp 10amp. mk 87
Top of outer casing is pitted with rust.
Needs to be PAT checked.
Been in damp cupboard for years. Don't know if it works or not.