Hi Tom, welcome to Pond Boss. Hang on and I'm sure one of the experts will chime in and answer your question.
Here's a link that discusses Grass Carp in Texas.
Grass Carp in Texas Tod Overton (see thread link above) has a great reputation. You might want to consider contacting them. I don't know how close he is to you (I know Texas is HUGE).
We're glad you found us.