The NFL is fine, apparently, with offensive and defensive linemen getting tangled up for 60 or so snaps a game, fine with them sweating and inadvertently spitting on one another in their trench ...