2/3 of its reservoir volume in the United States. The Rio Grande arm extends up the river 78 miles. The Pecos River arm extends up the river 14 miles. The Devils River arm extends up the river 25 miles. Total shoreline is 851 miles (compared with entire Texas coastline of 367 miles).