Last month the two defensive linemen said they figured they would make at least $200 million when free agency began March 10. They'll get $180 million, so that prediction was close.