Also, if that much excess would otherwise be wasted, we could always use it to smelt aluminum, form it into big tanks, attach standard docking rings, fill them up with water, and launch them into a designated band of refueling orbits. Those would almost certainly be useful later in space technology development.