How many constructors won the III Redex Trophy?
create table table_1140113_5 (constructor varchar, race_name varchar, PRIMARY KEY (constructor))
select count(constructor) from table_1140113_5 where race_name = "iii redex trophy"