These look very much like the three "red texas" I picked up this past weekend form Petsmart. Hopefully I can get a couple photos of the one I kept out of the three. The other two are now with Kaliedoscope.
I also have a "red texas" from Petsmart that is identical to the darker of these 2 fish... I will try to post pics later today! I guess its not a red texas then huh?