He can also dual boot it between two distros. I have both Linux Mint Debian for stability and Garuda for current updates that benefit gaming. I recommend installing Linux Mint first and then Garuda, and use Garuda’s boot manager, which can also be customized pretty well from the setup assistant.
edit: by setup assistant I meant a program that’s available after initial install, not during install.