I don’t think Doc has ever had full 13. Not a roster I can remember in which it was obvious he did, and quite a few that seemed like he didn’t.
Another consideration is sheer amount of newcomers. It will be hard to incorporate 7 new guys next year, is that there much of a need to make it 8? Tough question.