The Texas Rangers announced yesterday that they will not be picking the $11 million option for starting pitcher Derek Holland. As painful as it is to say, the Texas Rangers have made the right decision. Holland has done so much for this franchise. He was part of the 2010 and