So is FSU still feeling the SEC?