While you’re not wrong, that doesn’t mean it’s not also their high school mascot. Many schools use professional team logos as their team logos. We were The Patriots at my high school for instance. And we didn’t even bother to change the colors or anything. We just straight up used the NFL patriots logo.