Good recovery, very very scary losing both at once. Now you know you have control in a potential panic situation. Good on you.
You know I think it is time to buy a 2nd mask. Thinking about what happened I realize that there is a good chance that I would have been surfacing with no mask in this situation. If my mask goes accidently there is a good chance that my contacts are gone too. If mask and contacts are gone I am blind as a bat. Three maybe four inches tops after that we are talking vague shapes. Not going to go searching for my mask, however a backup in a pocket would allow me to find a lost mask.
Anyone wearing soft contacts lost a mask with no warning? What happens to contacts? I have always assumed there is a strong probablity that they would wash away too.
I have practiced removing and replacing the mask, but I am not into intentionally losing my contacts for practice. I do it with my eyes closed.
All this is why whenever there is the possibility of another diver kicking my mask off I put my hand on it. Would rather not lose the mask and have to surface. I have had it kicked loose, but have not yet lost one.