CREATE TABLE table_1140114_5 (constructor VARCHAR, race_name VARCHAR)

Which constructor was present at the Redex Trophy race?
SELECT constructor FROM table_1140114_5 WHERE race_name = "RedeX Trophy"
SELECT "constructor" FROM "table_1140114_5" WHERE "RedeX Trophy" = "race_name"