When they had the Central Air Conditioning replaced they found it. Has anyone leaked this?

'President Clinton began what he called the Greening of the White House Project. In the Residence he had a new 400, 000 kWh HVAC system installed that used HF134 rather than CFC ‘s saving us tax payers $32,000 per year in utility costs to operate. He also upgraded several of the older window units, the chiller system, pipe insulation, and the steam radiators.'