That Jeremy Clarkson persona didn't know what they were starting when they asked about miking amp cabs !
Maybe the lesson here is simply "suck it and see".
Yo, Jeremy Clarkson ! Just mike your amp and see how it sounds to you. Then try going directly into your mixer and record that and compare the two.
Which do you like best ? Do you like them both ? Do you like either ? Are you still with us ? Is there anybody out there ?
Bleep ! Gurgle ! SPHRRRISHPOIIIIING !