The FCC needs $3.08 billion more.