Computing with Portable, USB Type-C priced £800 or less