1. Maybe. However BOTH of them will be back next year, $12MM for Gray is a steal and Mahle is still arb eligible, but will get a raise from $5.2MM.
2. True. His numbers are better with Leon, maybe sub him for Sanchez every time (SSS with both, he is only a 1 inning reliever after all.).
3. True, he seems stuck 2019 when he got bailed out frequently.
4. He does seem lost at the plate, but he is only playing on 1 leg and has publicly stated that he doesn't like to DH, but understands the team needs him (to contribute).
5. Arraez is making $2.12MM, so I don't know where you got that number. But as a whole, Correa, Buxton, Polanco, and Kepler have struggled this year, though with the exception of Kepler, all have an OPS+ of better than 115. I would not include Larnach and Kirlloff among the teams best hitters this year, neither has 200 plate appearances and their OPS+ are 105 & 88.