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