Recently I had protected sex with a female sex worker with a condom. Worryingly, she used an oil based lubricant like vaseline or hand cream to lubricate her vagina. The episode lasted 2 to 3 minutes. After pulling out, i checked the condom visually and there were no tears. I filled the condom with water and squeezed the head of the condom and found no leaks even when i held it up to a light. I know that oil based lubricants normally "degrade" condoms but in this case, my water test (which lasted about a minute) did not show any drops or leakage. Would any testing be warranted after this episode? Or would there be an hiv risk from "degradation" caused by the oil based lube?