No idea but he changed up his gear constantly and sounded brutal through all of it. I have read in a couple of places that he would dime whatever amp he was using so that's going to factor in.
This is my favorite guitar sound ever recorded, it's like a rusty razor.