 As someone who spent many years as a young person in Del Rio living on the border and all the issues down there, friends of the Border Patrol, Raul Ortiz is now retired. I went to high school with Raul. He was a chief of the U.S. Border Patrol, a very good, outstanding Border Patrol agent. And I have others, other friends that are doing that job. And it's a thankless job.