Yes, Lew, those two albums are the only two that are documented as recorded with the EBMM. Who's to say that he didn't throw down on one on III and didn't credit it, etc.? Side note: Judgment Day was the last song recorded with the old Kramer 5150.
As far as EBMM's in the videos:
Poundcake: Frankenstrat-striped-EBMM, yellow quilt that was usually played live
Runaround: Frankenstrat-striped EBMM, yellow quilt, purple quilt, what appears to be a sunburst quilt (filmed in black and white) during the solo, and the purple quilt doubleneck
Right Now: not sure...two shots, both in black/white, one very close up, but they're EBMM's
Don't Tell Me (What Love Can Do): yellow quilt, with "5150" added on body behind tremelo
Can't Stop Lovin' You: same
Not Enough: this one was the first one with the Wolfgang, had a 5150 4x12 in it, 5150II head, and the 5150 como...can you say product placement?