Instruct: How many constructors won the III Redex Trophy?
Output: SELECT COUNT Constructor FROM table WHERE Race Name = III RedeX Trophy