true if he wants to spend time learning how to mic an amp vs actually recording. (assuming he doesn't already know how to mic an amp).
getting good mic'd amp recorded guitar tone is an art itself, especially if you want to capture the live performance feel and nuances accurately.
also going to get different sounds from different cab sizes and speaker types so it really depends on what sounds he wants / what sounds good to him.
For example, I get sounds I like from my DSL40CR 1x12, and my 1959SLP full stack, but they're very different sounds, and how you mic each is going to be very different. Learning how to mic them to get sounds I like would take time, and we haven't even discussed different types of mics, and mic placement, etc.... it's much more work and effort vs "do it all in the box", and it's going to get polished during mixing and mastering, getting even further away from the sound in the room of a mic'd cab.
either way, I'd recommend recording a dry guitar track too; that can be re-amped / recorded many ways, and for multiple tracks, too.