CREATE TABLE table_name_47 (enrollment INTEGER, nickname VARCHAR(255))
What is the average enrollment of the Redbirds' school?
    
SQL: SELECT AVG(enrollment) FROM table_name_47 WHERE nickname = "redbirds"