I would find a rotation of 9-10 players getting regular time in the rotation refreshing.
Whether from lack of talent depth or purely coaching game management choices, the short bench/6-7 player rotations have bugged me during both the Hoiberg and Prohm tenures.
We have had some high caliber players who justifiably were playing a lot of minutes, but I always felt like we were playing shorter rotations than other teams (no stats for it, just the feeling I have had watching and occasionally checked in box scores after games).
IMO it helps everyone to sacrifice some starter minute and play a deeper rotation. Starters are fresher for end of game situations, more engaged/competitive practices if the end of bench guys know there's a real opportunity to earn some minutes, and reduced impact of injuries and foul trouble if you have back end players with experience already.