I 'get' the idea that Miami's front office is reluctant to draft a Guard early... and I concur; you don't draft players from non-premium positions at 13.
But...
Drafting a Tackle to play Guard for a year isn't the same as drafting a Guard who can only play Guard because he lacks the feet and length to play tackle. Drafting Banks or Campbell... even Membou isn't the same as taking a Guard only tank like Booker.
Jackson is OK, actually I like him more than most here, but he might not be worth a high dollar contract next time. He is signed through 2026, but you know how it goes when a player runs out of guaranteed money... they start pushing for more (or a trade). If he throws a big year this year, he'll be pushing for 20m+ and will want to renegotiate immediately.
Paul, another guy I like, hasn't proven anything yet. Sure, we THINK he'll be good, but having a third young Tackle (who can play Guard now) wouldn't be a problem nor would it really upset the "don't draft Guards early" mantra.
So no... I do NOT agree that Miami won't go there. Yes, I'd be somewhat surprised if we took Booker... unhappily surprised, but I think the T/G players are in play. Personally, I'd still prefer one of the DEs, but one of the 3 mentioned linemen would work for me.