> Otherwise I don't know of other console or pc game projects of theirs.

They don't need to, Pachinko (their newer machines use fox engine it seems) exists.