Nov 23, 2014; Denver, CO, USA; Miami Dolphins defensive tackle Earl Mitchell (90) during the game against the Denver Broncos at Sports Authority Field at Mile High. Mandatory Credit: Chris Humphreys-USA TODAY Sports The Dolphins recently released two defensive linemen to salvage space under their salary cap – former no. 1 overall pick Mario Williams and the far less known Earl Mitchell. The 49ers undoubtedly looked at both players and opted for the workman-like Mitchell over the splashier Williams. The choice of the run plugging Mitchell over the rapidly declining Williams may indicate the type of operation new head coach Kyle Shanahan and new general manager John Lynch want to