I also believe Miami wins with Tua. The Dolphins left a lot of plays on the field.
Coming into the game, I thought the key was Miami's running game and not letting Allen beat you with his legs.
Buffalo's defense shut down the run and forced Thompson to beat them. That's exactly what I would have done. Unfortunately, the Dolphins receivers didn't help Thompson out. The early drop by Waddle was pretty big. There were five or six drops that could have extended drives.
Thompson's second interception was a killer. Throw that ball away and maybe it's a different game. Although the Bills would have had excellent field position (most likely) on the punt.
I thought Miami's defense did an excellent job of limiting Allen's runs. Seven sacks, two picks, a strip sack for a touchdown. That's about as much as a defense can do. Allen is going to make plays.
In the end, Miami killed themselves on offense with false starts, clock management etc.