Rick, I didnt know about Kramer being bought by Gibson. That's interesting. they have been such a huge company for a long time. The Junior is definitely not a Kramer, tho.
About the EVH stuff:
Eddie had tons of hotrod guitars and amps. He was ahead of his time early on. Pretty great tone also, IMO.
-I thought I remembered an out of phase sinle coil tone for 'Top Jimmy' and some Floyd Rose antics during the solo. Eddie was playing Kramers then and experimenting with effects and keyboards at the time, so that makes since that it could have been the Ripley.
-I wasnt there, but Ive read several times that 'Hot For Teacher' was his '58 Korina V, like Rick said. That song has classic Gibson tone throughout it so I believe that.
-FWIW, Ive never seen it documented anywhere, but theres a dead giveaway that he couldnt have used anything but a Les Paul type guitar for 'Runnin' With the Devil' at the beginning of the song. I'll give another clue on the Junior if someone can pick it out