HIV is passed on through blood, semen, vaginal fluid, anal mucus and breast milk, The risk of transmission through vaginal sex is not theoretical but it is lower than sharing a needle with an infected person or having them fuck your ass.
i agrée that there’s no point in stressing out about this...