In retrospect, for a 5-game series, we did carry too many pitchers. But I don't think that will work for a 7-game series. So probably still 13 pitchers.
@Jake McKibbin did a nice job explaining how (at least in theory) May matched up well against the Padre's batting weaknesses so I wasn't upset at May over Gasser in Game 3.
But I don't think he lines up against the Dodgers well. I tend to think Miz, Henderson, Gasser, Drohan/Patrick/Harrison game looks better than trotting out May as a starter.
Yes, if Woody was back to 92-94 MPH again, I'd take that over May. Anderson over May wouldn't make sense.
If you have to carry May...cap him at 2 innings.