By your logic, an unfaded sibling to a red texas, would still be a red texas, which just isn't the case.
Think of it this way... We call a breed of dog by it's name and color, if applicable. Apricot poodle, red doberman, chocolate lab etc, all were created by man.
These are man made "breeds" of fish we're talking about, not pure species with a common name that's been in use for literally longer than you've been alive. Even if some of us wanted to change that name, many hobbyists would not, therefore it wont happen.
Also consider that hybrids vary (way more than pure species) in their phenotype. There's absolutely no way that one name could cover this wide range of genetic expression. An uneducated person might deem them different species, even if they were siblings!
p.s. red devils are also known as lemon cichlids, although this name isn't in common usage.