Maar welke toetscombinatie gebruik je dan bij het opstarten?
Start je op vanaf Internet (dus met het draaiende bolletje) totdat je het herstelmenu krijgt?
Dan biedt hij toch helemaal geen Lion aan, ik zou verwachten dat hij dan High-Sierra aanbiedt?
Volgens mij moet je

R ingedrukt houden tijdens het opstarten, dan krijg je het nieuwste OS (High Sierra).
Met

R krijg je het OS waar je MacMini origineel mee geleverd is, Lion dus.
(ik kan me vergissen, misschien is het precies andersom)