That sucks. Sorry to see that. Lesson learned. It always sucks that the hard lessons learned in pinball are expensive. But I doubt it will ever happen again to you. Next time cut out that battery pack right away and to the trash it goes. Hopefully your board repair is somewhat cheap. Good luck.