I don't think Tua was that bad in Miami. Sure, compared to Herbert, he looks bad, but Herbert had one of the best rookie QB seasons ever. So it wouldn't make sense that Miami would pick a QB at #3. If Tua was getting drafted this year, only Trevor Lawrence is clearly a better prospect, the rest are all arguable. This is not the same situation as Rosen/Murray.
Penei Sewell should be the pick for them or trade for DeShaun Watson.