user: Question: What's the IHSAA class of the Red Devils?
Columns: ['School', 'Location', 'Mascot', 'Enrollment', 'IHSAA Class', 'IHSAA Football Class', '# / County']
Types: ['text', 'text', 'text', 'real', 'text', 'text', 'text']
Sample row: ['Anderson', 'Anderon', 'Indians', 2578.0, 'AAAA', 'AAAAA', '48 Madison']
SQL:

assistant: SELECT "IHSAA Class" FROM "Table" WHERE "Mascot" = 'Red Devils';