F&G website, DNR, etc. Or, believe that guy and try getting them in. Anyone who can read the list will not be willing to risk charges by shipping these fish to TX.
BTW, this site has all the available restricted species lists, listed by state, in the sticky section of the Buy/Sell forum. Check it out yourself.