Looks like one to me.
But red devil is a kind of "catchall" term for about 3 or 4 species of Amphilophus, and includes a hybrid form of A labiatus and citrinellus, often called a midevil.
The problem is, with everybody and there brother creating hybrids these days, unless you've been told by the seller, and the seller is trustworthy there is no way to know for sure.
But again, if you simply have been looking for a red devil, and not a specific species of Amphilophus, for all intensive purposes, it probably is one.