I know, I was teasing about the animal!
Seriously though, it’s a bad choice of color name. Also, the color RC uses is not coral anyway, according to Wikipedia’s definition. It’s pink. Hot pink. (255, 85, 161) to be specific.
They should rename it to flamingo.