Is touching co-workers OK?

As has been said- if a reasonable request has been made and the behavior deliberately constantly re-occurs, sure, go to HR.

But altho your scenario is plausible, why believe the worst to start?