In LEED 4.0 it states that for plumbing all Domestic Hot Water Systems, pumps and controls. Is this saying all plumbing pumps (sewage ejector, domestic water booster, etc) are required or only pumps dedicated to the Domestic Hot Water systems?