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