This app was mentioned in 1 comment, with an average of 1.00 upvote
there is a version on android Called Pinball Classic. its almost the exact same version. with most of the sounds. https://play.google.com/store/apps/details?id=com.junerking.pinball