CREATE TABLE table_79431 ("School" TEXT, "Location" TEXT, "Mascot" TEXT, "Enrollment" FLOAT, "IHSAA Class" TEXT, "IHSAA Football Class" TEXT, "# / County" TEXT)

What's the IHSAA class of the Red Devils?
SELECT "IHSAA Class" FROM table_79431 WHERE "Mascot" = 'red devils'
SELECT "IHSAA Class" FROM "table_79431" WHERE "Mascot" = 'red devils'