The whole stand holds about 13,000 so I can’t see that top tier being 7,000. I think 4,000 would be about right as the bottom 2 together are much bigger, depends whether the executive seating is counted towards the overall capacity.
I would guess around 5-6k. We typically seem to get around 34,000+ for big games with it closed, with a few unsold tickets seats and parts blocked off for segregation of away fans that would make up to the 42000 capacity