Semen Allergy?

Hey everyone, my man came in me for the first time the other day and right afterwards I had almost like a stinging feeling right at the opening on my vagina. We did go for a pretty long time and he went pretty hard so it’s possible I just had a bit of micro-tearing. I looked into it and apparently the stinging sensation can be a possible allergy to semen. The stinging subsided after probably an hour or two and I had no pain the next day. Has anyone else ever had this happen to them?