i think given the adult size of either fish. The red devil would grow faster than id, and then i think it would eventually kill the id. Even if they were the same size, and very large tank would be needed so that the id would not have to deal with the red devil all that much.
but i dont have much experience with rd, just know what others have said.