Well, I think that is definitely a big possibility now. The offense line, minus Tunsil, is an absolute mess. Davis is athletic and maybe could play RT, but unless he really picks up his game he's really a fringe starter wherever he lines up.Anything but a first round RT please. That would be an absolute nightmare.
I'd prefer if Miami went DL in the first and second rounds, honestly. Get that talent. But now the offensive line probably needs three starters and if you're looking to bring in a young, hopefully franchise quarterback in 2020, absolutely have to make the offensive line a priority.