I think Hank said he preferred to mike his amp than go direct to console. That said it does not mean he never did it ,
Interestingly I came across the JHS Colourbox v2 recently which replicates a Neve console input as used at Abbey Road. Lots of guitarists have recorded into console as we know eg Beatles on Revolution and White Album , Goodbye to Love guitar solo by Carpenters and many more.
The Neve console was capable of clean boosting and overdrive and fuzz.
Check it out
Following video is V1 Colorbox
https://youtu.be/feqQgyah1PIOnly £400 !