In fact he did ..., his live rig was 2 - 4 x 12" cabs ..., one loaded w/ "Greenbacks" and the other loaded w/ the JBL's. That said, IIRC the JBL's were never mic'ed in the studio, just the Cab w/ the Greenbacks !
Unfortunately I think the stems that are out there are captured AFTER the final EQ'ing and AFAIK the mastering as well .... I'd love to hear the original "raw" tracks that they printed ( prior to all of the "studio sweetening" ) ! IMHO that would be revealing !
And as far as reproduction of the tone, don't forget there are a couple of other 'key' items missing from the chain. He ran the Preamp section of the Echoplex EP-3 ( I wish we still had that ! ) as well as a BOSS 10-Band EQ with a frown curve too ....