So, yes now I have two more models to make.
Interestingly, while printing the figures, the machine ran out of the red materials. Thus, we inserted a new material, which is blue!
The colors really do not matter for the model since they will be all painted anyway.
But, it is just colorful and somewhat beautiful to see two different colors of the figures.