I think I may have remembered the Roosevelt High auditorium as being larger than it really was. I believe it was more like 750 or 800. In any case, it was a big as many movie theaters, and music and drama groups not connected to the school would often rent it for performances.
Don Firth