The supply lines to hall and master bath in our 1937 house are brass and are, in the subfloor section run, buried in concrete they used between the floor joists. We have been told we need to get the brass pipe out of the concrete immediately since the lime used in cement will cause the brass to corrode. They want to demo out the concrete and replace the 3/4" brass supply to wider PEX. I get the larger pipe will help pressure when both showers are running but is the risk of corrosion legit? Thanks