Had the #Dolphins traded up for an OT, the pick would’ve been #Georgia OT Andrew Thomas. Instead, he goes No. 4 and Miami has its choice of QBs — Tua or Herbert.

— Ian Rapoport (@RapSheet) April 24, 2020