they are midas X Texas bred back to midas father


Quick question for all of you, as I am new to the red texas breeds. I know that there could be multiple parent combinations to make red texas, but what is the most common mix that makes up the red texas? I recently purchased 10 one inch "red texas" (or whatever they actually are) for $3 dollars a piece. The mom was a texas and the dad was a red devil (kinda creamsicle colored).
Here is what they look like.