New Berlin To Get Lake Michigan Water: One Question

We know that New Berlin made its one-time, $1.5 million payment to the City of Milwaukee for diverted water, and that the per-gallon rate is established, but did we ever get straight how much the Milwaukee Water Works would lay out for new pumps and infrastructure to get the water over the subcontinental divide?