I recently had protected sex with a partner of unknown status. However, when he had finished and pulled out, the condom was still stuck inside. He ejaculated after withdrawing however, but some of the semen did get on the outside of my vagina. I know HIV need a mucus membrane to penetrate through, however, I believe the only mucus membranes in the pelvic area for a woman is only INSIDE of the vagina correct? Is this an encounter I should be worried about at all?