Hugo, No. The change required concerns only the selection of individual lens shift parameters for the three images suspected of being in a different orientation to the 6 images in the main row. The latter will use the usual global shift parameters by default.
So, taking your project file as supplied, and running the optimizer gives the following optimisation figures.
Now select Advanced mode and the Lens Settings tab, and select individual lens shift parameters for the zenith and nadir images:
On the Optimizer tab, select Advanced mode and see that the shift parameters for the 3 images now have their own check boxes (which need to be checked):
Now run the optimizer, and get the figures shown below:
Which I think you will agree is a worthwhile improvement! And running Delete worst points then gives:
So I would say the head setup was very good.
John