Question: What's the IHSAA class of the Red Devils?
SQL: SELECT ihsaa_class FROM table_name_77 WHERE mascot = "red devils"