I was technical lead on the project, and did a lot of the coding along with Danny Thorpe and a handful of others. It's great to see that folks still remember the game.
Thanks, Raymond, for putting in the frame rate limiter, btw.
It wouldn’t surprise me if the code was sensitive to changes in floating point rounding when compiled for 64 bits. Or perhaps the data files had implicit 32 bit data fields that don’t match 64 bit compiled structures when loaded. It’s also possible that, even with your frame rate limiter, the code still isn’t properly handling the numeric ranges for small time slices that happen with faster computers. In any rate, I would have been happy to help keep Pinball working.
Oh, and I’m pretty sure I put collision detection code in there. If I remember right, the collision detection was distributed – each table object class handled collisions in potentially different ways. I’m pretty sure there was a base class with basic collision, though, and a handful of geometric primitives for computing intersections.