thats over months or an offseason in football while you aren't competing. wrestling everyone has to drop ~10lb via starvation and sweat kits in a week, and then wrestle at the end of the week, is no where near the same realm. I had a coach who wanted kids to lose more than that. I was pretty much always the smallest guy and he wanted me to lose weight too. 5lbs off a 200+ guy is nothing, 5lbs off a 100lber with no body fat is risky business.
dropping wrestling is probably the healthies thing I have ever done, and that includes losing 150lbs after ballooning up to 350 in college.