What if the 2023 MLB All-Star pitching staff was a rotation compromised of the pitchers with the highest pitch counts from the prior ...