CREATE TABLE table_name_77 (ihsaa_class VARCHAR(255), mascot VARCHAR(255))
What's the IHSAA class of the Red Devils?
    
SQL: SELECT ihsaa_class FROM table_name_77 WHERE mascot = "red devils"