The cost of the FSU-ACC lawsuit?