Not much left to trade! And having given up Sanchez I think I'd like to hang on to that second-round draft pick. I'd get Machado, trade Franco and Neshek for some minor league depth, and then go get another starting pitcher and (if necessary) OF bat at the deadline.
With Realmuto on board you can afford to give the OF mix a little more time; ditto Franco if you sign Harper instead of Machado.
Of course if they really want to see a 95 next those projections they could just get Keuchel.
Trading Hernandez remains another possibility, at any time, but there just doesn't seem to be much market for him. Still FAs out there too.