This happened Christmas Eve - I was in crowded local pub collecting my adult dd so we could drive to midnight mass.
A young man - I couldn't ID him - grabbed my bum while his friends jostled me around.
Is it worth reporting to police (on non emergency line) so it is recorded? I felt upset and violated but wonder if it is worth the hassle when the police would not be able to do anything.