Can anyone confirm whether Linux Mint will, or should, install and run well on these mini PCs? Or suggest a better economical choice? Use case will be basic Web surfing and LibreOffice, in a garage. No gaming. Wireless and wired ethernet are both available in the garage.