I'm having the exact same problem, but I have the Pinball Gold Pack. (Pinball Fantasies Deluxe, Pinball Illusions, Pinball Mania) How do I find out what the abstract filename is?