Don't use RAL 7011. I read on an internet forum that this was Myford grey. It isn't. (Something on the internet was wrong? Go figure!) It's quite a bit too dark. Still serviceable of course and I went ahead and used it after having it specially mixed. It's also been posted on here before that Myford grey is RAL 7100, but the online RAL color charts do not list a 7100 so have not been able to tell one way or the other on that.
If you are in the UK I believe Paragon paints supply a "Myford grey" that does the job.
I read in some ancient tome that the original Myford grey was "Naval light grey". Most probably leftover battleship grey from the war that had just ended when the first ML7 was produced?