I assume all of them including Tre will be rotated in and out. Tre likely to be on a pitch count.
To answer your question, Benford if fully healthy comes in as the #2 - I just think the coaching staff is higher on him. Tough to say as now, Elam has more games under his belt.
It’s a good problem to have.