Yes, and everyone was hitting off of those pitchers, and the player's stats are compared to the league average. Stats like wRC+ help adjust for and analyze these things.
You gave up like a top 25 player(off the top of my head? doesn't matter) + a potential all-star goalie + a potential generational player for a top 35 player.
I wouldn't keep both of Soler and Betts. Soler's a better lock to start, but has injury concerns. Betts is the better talent, but doesn't have a clear path. I'd personality take Betts; talent always rises to the top.