Just because they are yellow doesn't make them midas cichlids. There are different colour forms of devils such as Banded, Red/Orange, Silver/Red, yellow marbled.
Its true to say that the majority of store bought red devils are in fact a mix of labiatus/citrinellus though, so I doubt it will be 100% red devil.