prior to the announcement of the Carilion partnership. Even with the entities you name, 400 for the HC/Athletic Dept and 400 for "contractual obligations" seems a little high.
And as others (and myself) have noted on here, there are still a lot empty seats for during OOC games, and a lot of visiting fans during ACC games. Also, if these seats are "blocked off," why aren't they designated as such before selection begins. It would allow some of us to assume they were available (and raising our hopes) when they were never available for us to select/purchase.
And yes, I am aware of the colloquial definitions of assume.