Right on, Eric. You certainly refreshed my memory on chemistry.
So in the end, I was right. As long as the corrosive distilled water is mixed sufficiently with antifreeze, there's no problem, and it's better to use distilled water because it won't lead to mineral buildup.