I find 'Red Devil' a singularly unimaginative name... and I hope it doesn't catch on. Sorry.
As the proper Red Devils are no 1 in the FIFA world ranking, not quite 😉
I like Jeff Steins (OTD) idea, to call them Senna Monaco and Lauda Monaco. Screen capture from OTD:
http://www.onthedash.com/monaco-50-le-1980s-introduction/