Texas offensive tackle Kelvin Banks Jr. is the consensus choice for the Dolphins with the No. 13 overall pick, according to ...