I evaluated the water damage on the backbox and its nothing to worry about!
The back of it expanded but it is all still solid!
a small sanding won't hurt it!
I gave it a small sand so you could see where the damage was (the bit without paint of course)
and then I heard there was a storm coming! time to save the pinball... I think I over-reacted but it will save the pin from getting wet