The football players are happy.