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