Released by Houston in November 1986, he signed with the Miami Dolphins in 1986 as back-up nose tackle when Bob Baumhower was injured. He started all 12 non-strike games in 1987. He became a starter in 1987 and had 3.5 sacks and 37 tackles.
In November 1986, Houston released him, but he soon signed with the Miami Dolphins as a backup nose tackle when Bob Baumhower was hurt. He played every non-strike game in 1987 and became a full-time starter, accumulating 3.5 sacks and 37 tackles.