Dear experts here, please help me analyzing the risk

I have just had a protected oral and vaginal sex with a freelance who works in KTV. I am in Singapore, which has a lot of HIV positive carriers. I didn't *** in her vagin, after about three minutes protected oral sex and 4 minutes protected vaginal sex, I *** in her hand. I checked the condom after all these things and found that the condom is still ok and was not broken. But I am worried that when she took off the condom from my penis, her hand may probably touch some of her vagin secretions. And then she did hand job for me with her hand. Is it possible to transmitting HIV through this secretions? My penis has no obvious cut and bleeding wounds. But it was red during the behavior.Could experts here help me analyze the risk? Do I need a check up for HIV? Thanks a lot.

[Teak]

You had protected sex. You were never at risk of contracting HIV and an HIV is not warranted.