Manny and Mario are totally different. I’d probably take Mario still, as I think he’s a guy that could do closer to what Butch did here with recruiting and development and a focus on OL.
But Manny might have a higher ceiling bc he’s a smarter more flexible guy who will adapt.
Basically either...