season ticket holders"?
Are we talking about 4,500 groups of season ticket holders who may control 15,000 tickets/seats?
All one has to do is look at the individual ticket sales post lottery for some of our body bag games (which is after the alumni lottery).
I think the only way we get to "vastly more" is if we assume students and faculty/staff tickets are "season" tickets, because technically, they count for the whole season, but aren't really what people are talking about, which are recurring, year over year, keep your seat type of season tickets.