I'm thinking 10 or 11 during the regular season.

8 or 9 with Buchner and his backup, cuz there is a good chance he gets injured during the regular season.

In any case why not take insurance with Hartman? Two birds in the hand are better than one in the bush, right?