I note RFK's capacity for football when the Redskins played their final season there was 55,750. FedEx now accommodates around 67,000 (due to removing a bunch of seats from the upper level and tarping over a bunch of others), but it's unclear how often they draw even that many. That's not all that much of a capacity difference in the scheme of things.