The university allows 17,000 seats in the football student section. How many should they really have?