That is true but I do think that there was no real need for Sale to still be in this game at that point given the score and workload he already undertaken. I can only guess that the manager was trying to allow Sale to pick up a shutout, rest the bullpen or something of that sort.
John Schneider takes a lot of flak for pulling his veteran starters with their pitch counts in the 90's vs pushing them deeper into games, and I think being a little more cautious with a bit earlier pulls is a far more prudent decision with regards to injury avoidance, even if the injury happens on a fielding play vs being directly tied into an extended outing with high pitch count.