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