I was under the impression pinball was removed because it was basically unsupportable and too had too much low level hacky graphics code to port across changes in the graphics subsystems. A shame though, it was a fun game.