CREATE TABLE table_1140113_5 (constructor VARCHAR(255), race_name VARCHAR(255))
How many constructors won the III Redex Trophy?
    
SQL: SELECT COUNT(constructor) FROM table_1140113_5 WHERE race_name = "III RedeX Trophy"