CREATE TABLE table_1140114_5 (constructor VARCHAR(255), race_name VARCHAR(255))
Which constructor was present at the Redex Trophy race?
    
SQL: SELECT constructor FROM table_1140114_5 WHERE race_name = "RedeX Trophy"