Except he makes 31 million dollars so adding Lynn (and signing him to an extension) probably doesn't happen, and my guess is Hendricks and Kimbrell would fall into the same category. We wouldn't know those things for sure because this is all speculative, but based on past history with the franchise, those seem like safe assumptions. Additionally, the one thing this team hasn't really had to deal with is injuries to starting pitching. Having him gone would have been massive, especially with the other injuries this team has dealt with.
Oh, and it seems like it will be very complicated for the Dodgers to void the contract, so the Sox eating close to 85 million for Bauer to go away would be SUPER for the future of this team.
But other than that, you nailed it.