If it were a strict payout (not using any of it for research, lawyer fees, etc) to all 4500 players that joined that lawsuit, it's only $170,000 per player. Sounds like the NFL is getting a hell of a bargain IMO.