Well red texas are hybrids, hard to say exactly what is and isn't a "red texas", but that little red one looks very nice, probably will be a texas genus hybrid with a lot of red. "electric blue" isn't a species name, it is probably just a nice carpintis. The Escondido catch locale tends to have a lot of blue, I have seen them called "electric something or other" before. And the larger fish just looks like a nice carpintis, same thing as the "electric blue".