The stuff you just cited there is pretty different from "At the very least, his hamstring will cramp or spasm, at best he’ll likely over-exert it & re-injure it keeping him out of the following week".That’s pretty shitty that your teammate injured you, and I’m not sure my example and yours are equal, but ok.
What I suggested is no different than the Charlie horse suffered in gym class while you’re standing at your locker. Honestly, how NYCFC played Giovinco a couple years ago (twice?) was way more physical than anything I was suggesting- every time he got the ball he was checked off it or tackled to the ground, not caring if a foul was given because it was the cumulative effect the team was looking for. By the second half, Gio’s focus was completely lost and he was a non-factor because he was on the ground so much. Don’t think for a second that teams don’t play Maxi more physically than others, and give him extra bumps when they have the opportunity, because they are looking at the cumulative effect it has on him.
Also, what I suggested was not an intentional head butt to the back of a head instead of going for a ball, but that’s in many CBs repertoire. It’s not the shirt grabbing with the intent to grab the skin underneath/pinching that happens - we saw a DC player lose half his shorts a few years back to Lampard(?). It’s not the extended elbows that “protect” a player playing, but not really playing, a 50/50 header.
But I agree that what you just talked about seems more on point. It's easier to recover from being annoyed than being physically injured.