but once a National Public Radio report on the $1 billion in dollar coins taking up space in Federal Reserve vaults got the public’s attention in late June