Ich würde mir das auch kaufen, wenn ich das Geld hätte.
Aber ganz allgemein gesagt:
Holt euch Hardware von Firmen, welche Linux vorinstallieren und Support anbieten. (Wenn ihr es euch leisten könnt)
Hier sind nochmal 2 Anbieter:
system76 oder tuxedocomputers