That would bring the number of troops in Haiti to 7,500 .