It's too bad that they didn't bother to implement shuffle() so that it could efficiently stop early. But "worse is better", no?

(tye)Re: Random Picks shows how. Other notes in that thread show alternate solutions.

                - tye