is it too early to call them pedophiles....

Mary • My beliefs and opinions are constantly evolving
My friend and I are both juniors, going to be seniors. Last night he hung out with some of his senior friends that graduate a couple weeks from now. They're all 18/19 and my friend is the only 17 year old there. But ALL the girls were in 8th grade. 
He was texting me the whole time talking about how weird it was. Apparently they kept slapping the girls asses and would basically throw themselves at the 8th graders. When my friend asked one of the girls how old they were bc they looked way too young, she said they were in 8th grade and he freaked out! He didn't have a ride for the next hour, so he just stayed hanging out with them but would distance himself from the girls.
One of the girls saw he was texting me and said "do you have a girlfriend? I don't fuck with guys who have girlfriends" and he just stared at her with this disgusted look and said "what? No, but either way I don't even want to talk to you, stay away from me" and when more girls got closer to him wanting to talk to him, he told them "fuck off, you're all in middle school and this is creepy as fuck, leave me alone."
I cringed when he told me all of that. But this can't be okay right?? Guys who are basically out of high school wanting to bang 8th graders 😩 one of the guys excuse was "my ex broke my heart, I don't care, besides she's hot anyways"