I haven't listened to Joe Marino's All-22, but Sal Capacio on his podcast right after the game pointed out that reporters and beat writers after the game are always given a game book, which includes personell and the Dolphins played with 3 LBs on the field for the vast majority of the game.
So yes.