When has a team "batted around"? Is it when nine players have batted? Or does a 10th batter have to come to the plate?
I've always thought the answer is obvious: Nine. But, judging from this SoSH discussion, most people believe it is 10.
For what it's worth, the Red Sox define "batting around" as nine. In their Game Notes, distributed to members of the media, they list "Innings Batted Around" on the first page. In the Notes of April 20, it says the team has batted around twice this season, with the most recent being the 3rd inning on April 13. Boston sent nine men to the plate in that inning.
On the other hand (if I remember correctly (and I probably do, because it annoys me)), NESN's Don Orsillo always waits until the 10th batter is at the plate before noting that the team has batted around.