Another perspective:
"Stepping back" this season, the Seattle Mariners are a historically struggling franchise on pace for its worst record since 2011.
Yet the current Red Sox record (67-59) is closer to the Mariner record (52-73) than to the current Yankee record (83-43).
So now the question is what do they do for the remainder of 2019. I would monitor him and see if he can get back to pitching pain free. If he can do that I would let him pitch just to continue what is clearly a transition to a 30+ year old pitcher that can't depend on Gas anywhere near the degree he has in the past. If he can't pitch pain free, then it will have to wait till 2020.
They just announced the he will be out for 6+ weeks, he can come back completely healthy next year