Along the lines of what I think Slide is focusing on (correct me if I'm wrong), what about the idea of acquiring Crochet for the future? What mean is, it sounds like he isn't going to be much help this season. But next year he's going to be a (Near the TOR) starter. It doesn't help them now, but what a get for 2025. And they'll need that kind of starter, if they plan to compete next year.
In my estimation, that move shouldn't interfere with moves they make for this Oct. But why not be forward thinking. I'm sure Elias can walk and chew gum at the same time.
Anecdotally deadline deals always seem to have a premium. E.g. Cease supposedly costing Holliday last July vs what he cost in the winter. If a deal is mainly for 2025, then yeah if it's a good deal just do it, but the main focus should be this year and worry about 2025 more in the offseason. See what happens in FA, spend money instead of prospects if you can, and then look at a Burnes or Cease type of deal if needed.
This assumes you don't think Crochet is doing much in the playoffs. If you think he's available all year he's as good a get as anybody, but I have no idea on that.