Well you'll never get a guy like Teo from free agency for 1/13 or whatever his salary projects at. Like ya, you can sign Nimmo with some of that money but you're going 5 years long and way higher AAV. Teo can give you 4 wins next year on a 1 year deal. It's very unlikely we replace that production at that term.
You can easily hand out a Kikuchi contract and Swanson loses 1 tick and he's dog s***, and you just cost yourself 3-4 wins in a blink of an eye. Teo is a pretty solid bet to hit next year. His track record has been surprisingly steady.