Afraid I may have damaged my carotid artery.

I was horsing around with a friend a bit ago and he put a headlock on me. Of course it squeezed my neck kind of tightly for a few seconds, may 8 to 10. Behind the right side of my jaw is kind of tender and I'm afraid that artery could be damaged. I know it's fairly close to the surface up that way.

What's worse is that looking it up symptoms can take hours to days to develop if that is the case.

Is this something I should be worried about?

It sucks that years back I used to practice Brazilian Jiu Jitsu and this kind of thing wouldn't have bothered me in the least, as chokes were just part of the game. I miss the old me some days.