Copper export revenue was down from $3.73 billion previously reported for January. Chile is the world's top copper producer, mining about a third of global supply.