CREATE TABLE table_1140113_5 (constructor VARCHAR, race_name VARCHAR)

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