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