There was a time, after the extinction of dinosaurs and the ascension of Homo sapiens, when pinball ruled the Earth. Miami, like most major cities, was dotted with arcades housing dozens and dozens of flippered, belled, whistled, and generally colorful games that required concentration, eye-to-hand coordination, and a certain je ne sais quois to master. Then came Pong. Donkey Kong. Space Invaders. Galaga. Mr. and Ms. Pacman. Pinball survived but was relegated to the shadows. Xbox, Nintendo, and PlayStation (the third version of which will be Sony's first global release, an endeavor so far beyond the company's usual Japan-then-other-nations-after-fixing-glitches approach that it has been postponed) have pretty much sent pinball the way of the 'saurs. In the U.S. there were one million machines in play in 1989. Ten years later the number sank to a depressing 360,000. Revenue dipped from $2.4 billion to $1.08 billion in the same period, according to trade publication Vending Times. Five versions of the classic game are available for play at the family-friendly Fun-O-Rama.