As of 2020, Tulo's salary drops and Martin is off the books
I don't think they're scared of the money over the next two years and Donaldson is already getting 21M this year in an arb year. A bump to 25M for a few years is probably perfectly manageable, it's just how many years it takes to make him agree and the late 30's decline that's the issue