The pH of the water itself is totally irrelevant. This can't be stressed enough. It is only the pH of the mash, as measured at room temperature, that we're interested in. That is a product of the interactions of a specific grist and the ions in the water. Every individual grist will have its own pH in deionized water, and will have its pH shifted differently by different ions. For a great introduction to the subject of water chemistry and mash pH, go to the Bru'n Water website and read the Water Knowledge page. Then the spreadsheet there can help you plan water treatment to get the right pH in your particular recipe.