HERE'S The Situation...LOL?

My son is a very attractive, athletic (2x MVP Football Player and Wrestler) 14 year old Freshman, & of course the girls LOVE to play with him,tease with him,jump on him and playfully hit him.He (my son) is 5' 5" 122 lbs and there is this one young girl his age who likes to tease with him the way all the little girls do...here is the problem...she is about 2" taller and out-weighs him by about 40-50 lbs...and she gets EXTREMELY aggressive...jumping on his back,grabbing his shirts and tearing them or just Stretching them so out of shape that they are no longer wearable,she also hits...he will not hit her back since he does not hit girls...BUT he is getting tired of her SUPER-AGGRESSIVE behavior...AND I'm tired of expensive shirts being ruined...ANY THOUGHTS on how he should handle this girl and get her to settle down?