I don't think all of them should run a single distro. Linux is quite diverse by design. As long as they don't pick Red Hat or anything based in Fedora (which is pretty much Red Hat). I would love SUSE, but oh well