It's not, unless you're confusing the Pinball game with the driver called Pinball.