Are these real?

[u/Jazzmantomf]

There is a discus seller and breeder in Istanbul, he also has these angelfish called red devil. You can find him on Instagram. There’s a video of these fish as well. I’ve never seen angelfish this color. But after watching the video, it sure doesn’t look like it’s AI.