That looks about right.
Let's assume we protect those 7. Here's how the 40 man might shake out before any FAs are signed.
Assume we keep Vaz & Richards options, JD does not opt out and ERod receives and accepts the QO.
We lose Perez (option declined), Ottavino, Santana, Robles, Shaw and Iggy. With 8 players currently on the IL and not counting towards the 40 man roster, and us having 39 listed, now, we will actually be at 41 before adding those 7.
That means 8 players will have to be traded or DFA'd to make it 40, and that's before we add anyone as a free agent.
Who might those 8+ players be? (I think some added for COVID do not need to be DFA'd to be kept in our system.)
Michael Feliz
Jack Lopez
Geoff Hartlieb
Yairo Munoz
Borderline:
Jesson Rosario
Hudson Potts
Austin Davis
Yacksel Rios
Trade?
Brasier
Arauz
Plawecki/Hernandez/Wong (1)
Cordero