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"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_1140113_5 (constructor VARCHAR, race_name VARCHAR) Question: How many constructors won the III Redex Trophy? [/INST] SELECT COUNT(constructor) FROM table_1140113_5 WHERE race_name = "III RedeX Trophy" </s>