I think it's extremely likely they take an OT at #17 (or whenever they first pick). I've seen a couple mocks with Mauigoa falling to the Bengals at #10 or Dolphins at #11. If that happens, I wouldn't be super shocked to see us ship off next year's 3rd and some later round picks to move up... But I think they value Borom more than we do, for better or worse. I think they see him as an available stopgap if they don't go OT early.
Holmes has quantified his number of "day one talents" before. Talked about Jameson Williams was one of their last day one talents, which is why they traded up. Talked about how both Gibbs and Campbell were day one talents on their board.
If someone like Sonny Styles, Mansoor Delane, Caleb Downs, or maybe even Jeremiyah Love inexplicably fell into their laps, I think they pull the trigger on that pick, trust Borom can get it done, and maybe go get Cam Robinson or Jonah Williams on a one-year deal as an insurance policy or to at least add some competition to the room.