i'v been working in retail selling thousands of fish every month for 3 years now. since i cant see it in person i'd still say it's a red devil because of the spots and the way the black bars are. im like 98% sure and no chance it's a red texas they have blue pearls and should resemble a carpintis. also chances are is a red devil because they are veryyyyy common and get sold to large corporate businesses listed with many different names.