FWIW, I washed out the battery boxes with a solution of 1 lb baking soda in a bucket of water followed by a good rinsing with clear water. I then used a spray on rust reformer and then primed. That should put the brakes on the corrosion for a while, anyway.