Condom with Hand Lotion

Dear Sir,

I am a male and had condom protected vaginal sex with a CSW.
But my worry is that she place a bit of baby lotion into her vagina prior to intercourse.

I added Durex Gel on the condom for better lubrication. I checked the condom after the deed, it was intact with no visible tears etc.

I have checked through thebody.com and on this site I found out  alarmingly that I may be at risk of potential exposure.

http://www.thebody.com/Forums/AIDS/SafeSex/Q202718.html

"A condom that is not kept lubricated is also much more likely to break -- but you should never use oil to lubricate a condom. Oil-based lubricants like Vaseline, cooking oil, Crisco, baby oil, suntan lotion, and most skin moisturizers will dissolve a latex condom, creating tiny holes. You can't see these holes, but they are there, and HIV can get through them."

Do I need to get tested based on the above scenario?