"A couple of pats on the butt", if not consensual, is called "assault".
Try this little thought experiment: A male co-worker who you are not on friendship terms with comes up to you, compliments you on your work, and gives you a couple of pats on the butt. If you called HR or security, how would you respond if they said you're "over dramatizing", it was meant in fun, etc.?