The Flash
Dennis Wilcock did 9/11
I've read conflicting reports about this over the years. I seem to remember reading somewhere that Mustaine had more input on Ride the Lightning than is apparent from the credits, but I don't remember where, when or in what context that was.
Dave hasn't really argued for such a case in the RTL songs he wasn't credited for. He did argue that he wrote the intro to Battery and the riff in the middle of Leper Messiah and didn't get credit for them.
It's pretty easy to hear that he's probably correct on those, the style has Dave all over it. The non-Dave songs on RTL don't really feature anything that smell of Dave's writing style.