How do classroom-turnover times depend on lecture-hall size?