Is trading Jon Lester the Red Sox best option?

Is trading Jon Lester the Red Sox best option?