In COBTV can be seen a Marshall 2203 Kerry King head and a really weird an big head amongst many other things, but seeing he's been using the K. King head live since the recording it's probable that he did record the albumk with it (he liked the tone and kept it for live cold be a theory).
The Krank Revolution seems to have been exclusively used in GH recordings.
Anyway, I supose Ben's theory is bound to be the most accurate.