Chances are your friend’s secondary laptop doesn’t have extra resources for Gnome to run smoothly. Sad thing is nowadays Gnome is very heavy and bloated.
Also, he may try both distros live-usb. Maybe he don’t care about Mint looking outdated. But if he does, you may try Fedora live-usb and check if university wifi works properly.
It’s his laptop after all, so I believe your appreciations on the beauty of desktop environments are secondary.