Trump’s “big, big section of wall” is 55 miles. The Texas border with Mexico is 1254 miles. So 4% is big, big.
But how much of that is the Rio Grande, portions of which are too wide to reasonably cross. And how much land in Texas already has completed portions of a wall?? I wish we had more specifics.
How do you eat an elephant? One bite at a time.