There are repos for all 3 of the 3D pinball games. You'll need the Plus! pack for the other two.