I’m in favor of carrying 13 pitchers with less rest days available.
I would keep Collins over Lockridge. He’s a switch hitter, a little more versatile in an emergency, and his struggles are a little overstated. There were parts of the season that there wasn’t anyone you wanted up more in the clutch.
Drop Lockridge and Gasser, add Myers, Hall, and Henderson if available.