Article News Marlins Add Another Pitcher In Trade With Rockies The Marlins traded for Jesus Tinoco, the 10th pitcher added by the organization since July 27.