Thank you for your replies.

Does the fact that it is fully unlocked mean that it is not possible to accidentally revert it to locked status? :)

PS my phone is missing the part of the service menu that says whether the phone is unlocked. Which is puzzling.