Question: How many constructors won the III Redex Trophy?
SQL: SELECT COUNT(constructor) FROM table_1140113_5 WHERE race_name = "III RedeX Trophy"