Don't know about Marrero against lefties in September, but do know his OPS in September was 100 points higher than Devers's.
One thing I will say about Devers is that to me he seems to have a good eye for breaking balls but lately not so good against fast balls. So it is possible he would have fared well today.