Should I report a touchy coworker at McDonald's to my manager?

I work at mcdonald's. There is this man in his 50s who started a few days ago. I think he's slightly autistic or something. He worked there before but just came back. So last night me, him, and another co worker find a large spider under a sink. Today my co worker said he, and the other guy were kneeling down, and the guy grabs my cow worker leg, and hoists himself up. He did have surgery a little bit ago and can't do much, but there were other things for him to grab onto and he grabs someone's leg? Anyways, my co worker tells him to please not do that again. He said later that this guy comes up to him and pats him on the back. So i felt like maybe I should tell my manager, because I dont want him thinking it's okay to touch people without their permission. So i tell my manager. She said that it's definitely inappropriate. She also said that one time he came up behind her and put his hand on her back, and she told him to stop. My manager talked to my co worker about it, and asked exactly what happened. It was exactly as i explained here. My co worker said that before this guy started, he saw this guy in his truck, and he asked a random girl to get in. Thats at least what I gathered from the conversation.

Should I report a touchy coworker at McDonald's to my manager?
Post Opinion