We don't have the farm for a 2.5+ premium player, unless the other team is moving salary. The guy you are describing might be Abrams, and even if he were to be traded, it would cost Arias, Witherspoon+. How many teams even trade premium players with 2.5+?
If this was a 1st place team, I'd feel differently. But we are aiming at a WC, with three on the road, with no certainty of having Crochet back.