(Edit this Message from the "Fast Facts" Section)
There is indeed a formula for how many shares can be bought back based on recent trading volume. Don't remember it off hand.