Yeah, that just from removable battery. Cmos / pram was fine. Only thing the got destroyed basically was the cpu card itself. So will pull ram off and put it in the daughter card.
It will get more common as time goes by. I tore into my MicroVax 3100-85 the other day to check on a CMOS battery pack and it had started leaking so I removed it (3 x AAA batteries NI-CD), just the terminal looked green.