Bingo.
Though the Brewers shouldn’t trade any of their key prospects this year. Adding one veteran hitter isn’t going to vault them into the upper half of the league in hitting.
Plus, with a sea change of players likely leaving in the next year or so: Caratini, Tellez, Adames, Burnes, Woodruff, Houser, Miley, Teheran, Winker, Anderson etc., they will need those prospects.
In all likelihood the Brewers try to get incrementally better where they can acquire players cheaply in terms of prospect capital (like Matt Bush in ‘22, Daniel Norris in ‘21, Jordan Lyles in ‘19 etc.).