Also, they recorded WDaDU under the Majesty name, and only changed it in the months before it got released. Same band, different name.
However, I also don't really count Chris Collins, just because he only did demos with the band and never performed on an album. Kind of like how Dave Mustaine was not inducted into the RnRHoF with Metallica for the same reasons.
So I see both arguments, kind of.