In 2007, the Institute for Policy Innovation (IPI) reported that music piracy took $12. Who reported that piracy took $12.5 billion from the U.S. economy?